2. ADG 1998: Beijing, China

@proceedings{DBLP:conf/adg/1998,
  editor    = {Xiao-Shan Gao and
               Dongming Wang and
               Lu Yang},
  title     = {Automated Deduction in Geometry, Second International Workshop,
               ADG'98, Beijing, China, August 1-3, 1998, Proceedings},
  booktitle = {Automated Deduction in Geometry},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1669},
  year      = {1999},
  isbn      = {3-540-66672-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Wu Wen-Tsün:
  Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving. 1-13
  Electronic Edition (Springer LINK) BibTeX
• Andreas Dolzmann:
  Solving Geometric Problems with Real Quantifier Elimination. 14-29
  Electronic Edition (Springer LINK) BibTeX
• Lu Yang, Xiaorong Hou, Bican Xia:
  Automated Discovering and Proving for Geometric Inequalities. 30-46
  Electronic Edition (Springer LINK) BibTeX
• Jacques D. Fleuriot, Lawrence C. Paulson:
  Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. 47-66
  Electronic Edition (Springer LINK) BibTeX
• Chuan-Zhong Li, Jing-Zhong Zhang:
  Readable Machine Solving in Geometry and ICAI Software MSG. 67-85
  Electronic Edition (Springer LINK) BibTeX
• Desmond Fearnley-Sander:
  Plane Euclidian Reasoning. 86-110
  Electronic Edition (Springer LINK) BibTeX
• Haiquan Yang, Shugong Zhang, Guochen Feng:
  A Clifford Algebraic Method for Geometric Reasoning. 111-129
  Electronic Edition (Springer LINK) BibTeX
• Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang:
  Clifford Term Rewriting for Geometric Reasoning in 3D. 130-155
  Electronic Edition (Springer LINK) BibTeX
• Hongbo Li:
  Some Applications of Clifford Algebra to Geometries. 156-179
  Electronic Edition (Springer LINK) BibTeX
• Dongming Wang:
  Decomposing Algebraic Varieties. 180-206
  Electronic Edition (Springer LINK) BibTeX
• Didier Bondyfalat, Bernard Mourrain, Théodore Papadopoulo:
  An Application of Automatic Theorem Proving in Computer Vision. 207-231
  Electronic Edition (Springer LINK) BibTeX
• Xiao-Shan Gao:
  Automated Geometry Diagram Construction and Engineering Geometry. 232-257
  Electronic Edition (Springer LINK) BibTeX
• Jae Yeol Lee:
  A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction. 258-274
  Electronic Edition (Springer LINK) BibTeX
• Zongying Ou, Jun Liu:
  Variant Geometry Analysis and Synthesis in Mechanical CAD. 275-286
  Electronic Edition (Springer LINK) BibTeX