2. ADG 1998:
Beijing, China
Xiao-Shan Gao, Dongming Wang, Lu Yang (Eds.):
Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings.
Lecture Notes in Computer Science 1669 Springer 1999, ISBN 3-540-66672-9 
- Wu Wen-Tsün:
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving.
1-13
- Andreas Dolzmann:
Solving Geometric Problems with Real Quantifier Elimination.
14-29
- Lu Yang, Xiaorong Hou, Bican Xia:
Automated Discovering and Proving for Geometric Inequalities.
30-46
- Jacques D. Fleuriot, Lawrence C. Paulson:
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle.
47-66
- Chuan-Zhong Li, Jing-Zhong Zhang:
Readable Machine Solving in Geometry and ICAI Software MSG.
67-85
- Desmond Fearnley-Sander:
Plane Euclidian Reasoning.
86-110
- Haiquan Yang, Shugong Zhang, Guochen Feng:
A Clifford Algebraic Method for Geometric Reasoning.
111-129
- Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang:
Clifford Term Rewriting for Geometric Reasoning in 3D.
130-155
- Hongbo Li:
Some Applications of Clifford Algebra to Geometries.
156-179
- Dongming Wang:
Decomposing Algebraic Varieties.
180-206
- Didier Bondyfalat, Bernard Mourrain, Théodore Papadopoulo:
An Application of Automatic Theorem Proving in Computer Vision.
207-231
- Xiao-Shan Gao:
Automated Geometry Diagram Construction and Engineering Geometry.
232-257
- Jae Yeol Lee:
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction.
258-274
- Zongying Ou, Jun Liu:
Variant Geometry Analysis and Synthesis in Mechanical CAD.
275-286
Last update Sat May 18 18:03:43 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
