D. Wang's Books


Elimination Methods Elimination Practice Mathematics Mechanization and Applications
Automated Deduction in Geometry 2000 Automated Deduction in Geometry 1998 Automated Deduction in Geometry 1996
Automated Deduction in Geometry 2004 Automated Practical Reasoning Mechanical Theorem Proving in Geometries
Artificial Intelligence and Symbolic Computation Computer Mathematics  Asian Technology Conference in Mathematics
Geometric Computation Differential Equations with Symbolic Computation Symbolic-Numeric Computation
Groebner Bases in Symbolic Analysis Symbolic and Numeric Algorithms for Scientific Computing Symbolic Computation and Education

Order from amazon.com

消去法及其应用 计算机代数 第二版 符号计算选讲
多项式代数 计算机代数