Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
 
Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich, S...
by Dongming Wang, INTERNATIONAL WORKSHOP ON AUTOMATED DEDU
No user ratings [rate this item]
Elimination Practice: Software Tools and Applications
 
Mechanical Theorem Proving in Geometries: Basic Principles
 
Mechanical Theorem Proving in Geometries: Basic Principles
by Dongming Wang, Went Sun Wu, Xiao Fan Jin
No user ratings
Automated Deduction in Geometry: 2nd International Workshop, Adg'98, Beijing, China, August 1-3, 1998, Pr Oceedings
 
Automated Deduction in Geometry: 2nd International Workshop, Adg'98, Beijing, Chin...
by Dongming Wang, Xiao-Shan Gao, Lu Yang, International Workshop on Automated Deduction in Geometry 1998 Beijin
No user ratings [rate this item]
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996  Selected Papers
 
Automated Deduction in Geometry: International Workshop on Automated Deduction in ...
by Dongming Wang, International Workshop on Automated Deduction in Geometry (1996 Toulo
No user ratings [rate this item]