Dongming Wang
· 19 obras en el catálogo
Obras
Kai guo ling xiu Mao Zedong yu Shandong
Automated deduction in geometry
Geometric computation
Differential equations with symbolic computation
Automated practical reasoning
Symbolic-numeric computation
Automated deduction in geometry
Song Yuan Ming Qing bai bu xiao shuo yu ci da ci dian
Elimination Methods
Mathematics Mechanization and Applications
Distributed MIMO and Cell-Free Mobile Communication
Gröbner Bases in Symbolic Analysis
Artificial Intelligence and Symbolic Computation
Tang mo Yuan chu si bai nian
Automated Deduction in Geometry
Ceng jing cang hai
Differential Equations with Symbolic Computation (Trends in Mathematics)
