Research >> Publications  
Home
People
Research
Activities
Education
About Us
Download
Link

 

 
 Books
  1. Dongming Wang, Lihong Zhi (eds.): Symbolic-Numeric Computation. Birkhäuser, Basel Boston, 2006.
  2. Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.): Artificial Intelligence and Symbolic Computation - AISC 2006 Proceedings. LNAI 4120. Springer-Verlag, Berlin Heidelberg, 2006.
  3. Hoon Hong, Dongming Wang (eds.): Automated Deduction in Geometry - ADG 2004 Revised Papers. LNAI 3763. Springer-Verlag, Berlin Heidelberg, 2006.
  4. Dongming Wang, Zhiming Zheng (eds.): Differential Equations with Symbolic Computation. Birkhäuser, Basel Boston, 2005.
  5. Dongming Wang, Bican Xia: Computer Algebra (in Chinese). Tsinghua University Press, Beijing, 2004.
  6. Falai Chen, Dongming Wang (eds.): Geometric Computation. World Scientific Publishing Co., Singapore New Jersey, 2004.
  7. Dongming Wang: Elimination Practice: Software Tools and Applications. Imperial College Press, London, 2004.
  8. Dongming Wang: Elimination Methods with Applications (in Chinese). Science Press, Beijing, 2002.
  9. Dongming Wang: Elimination Methods. Springer-Verlag, Wien New York, 2001.

< Books > < Papers >

 

Research Areas | Publications | Software | General Seminar | Geometry Seminar | Algebra Seminar | FAQ