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