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

ȥ Ӧ ڶ ż ѡ
ʽ