|
|
|
著 作
- 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.
- 王东明、夏壁灿:计算机代数. 清华大学出版社, 北京, 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.
- 王东明:消去法及其应用. 科学出版社, 北京, 2002.
- Dongming Wang: Elimination Methods. Springer-Verlag, Wien New York, 2001.
<著 作〉<论 文〉
|
|