Dongming Wang
Books
- Artificial Intelligence and Symbolic Computation
- Automated deduction in geometry
- Song Yuan Ming Qing bai bu xiao shuo yu ci da ci dian
- Differential Equations with Symbolic Computation (Trends in Mathematics)
- Automated deduction in geometry
- Differential equations with symbolic computation
- Gröbner Bases in Symbolic Analysis
- Mathematics Mechanization and Applications
- Elimination Methods
- Symbolic-numeric computation
- Automated Deduction in Geometry
- Shandong ren min zhi yuan jie fang zhan sheng shi
- Geometric computation
- Automated practical reasoning
- Kai guo ling xiu Mao Zedong yu Shandong
- Ceng jing cang hai
- Elimination practice
- Tang mo Yuan chu si bai nian
- Distributed MIMO and Cell-Free Mobile Communication
Author data: Open Library