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