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 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 International Symposium on Symbolic and Algebraic Computation

Order from amazon.com

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