Dongming Wang
No biography available.
Works (11)
Elimination practice
Differential equations with symbolic computation
Elimination Methods
Symbolic-numeric computation
Geometric computation
Automated practical reasoning
Automated deduction in geometry
Differential Equations with Symbolic Computation (Trends in Mathematics)
Mathematics Mechanization and Applications
Kai guo ling xiu Mao Zedong yu Shandong
Automated deduction in geometry