Dongming Wang profile picture

Dongming Wang

Is this your author profile? Create an account to customize it!

Stand Alone

Kai guo ling xiu Mao Zedong yu Shandong
Differential equations with symbolic computation
Automated practical reasoning
Symbolic-numeric computation
Elimination Methods
Computer Mathematics - Proceedings Of The Fourth Asian Symposium (Ascm 2000)
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)
Mathematics Mechanization and Applications
Making Hong Kong a Resilient City Preliminary Assessment
Symbolic-Numeric Computation
Elimination Practice Software Tools and Applications
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Proceedings : [SYNASC 2011], Timișoara, Romania, 26-29 September 2011
Artificial Intelligence and Symbolic Computation
Symbolic-Numeric Computation
Automated Deduction in Geometry

See All