Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings
Author: Xiao-Shan Gao, Dongming Wang, Lu Yang
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66672-1
DOI: 10.1007/3-540-47997-X

Table of Contents:

• Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving
  
• Solving Geometric Problems with Real Quantifier Elimination
  
• Automated Discovering and Proving for Geometric Inequalities
  
• Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle
  
• Readable Machine Solving in Geometry and ICAI Software MSG
  
• Plane Euclidean Reasoning
  
• A Clifford Algebraic Method for Geometric Reasoning
  
• Clifford Term Rewriting for Geometric Reasoning in 3D
  
• Some Applications of Clifford Algebra to Geometries
  
• Decomposing Algebraic Varieties
  
• An Application of Automatic Theorem Proving in Computer Vision
  
• Automated Geometry Diagram Construction and Engineering Geometry
  
• A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction
  
• Variant Geometry Analysis and Synthesis in Mechanical CAD