Dongming Wang

Automated practical reasoning

2012

Gröbner bases in symbolic analysis

2007

Differential equations with symbolic computation

2005

Automated deduction in geometry

2006

Symbolic-numeric computation

2007

Symbolic Computation and Education

2007

Mathematics Mechanization and Applications

2000

Geometric computation

2004

Elimination practice

2004

Distributed MIMO and Cell-Free Mobile Communication

2021

Automated deduction in geometry

2006

Wang Guowei jia shi

2013

Tang mo Yuan chu si bai nian

2015

Song Yuan Ming Qing bai bu xiao shuo yu ci da ci dian

1992

Shandong ren min zhi yuan jie fang zhan sheng shi

1991

Kai guo ling xiu Mao Zedong yu Shandong

2009

Geometric Computation. Lecture Notes Series on Computing, Volume 11

2004

Elimination Methods

2001