| Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving / Wen-tsün Wu |
| Solving Geometric Problems with Real Quantifier Elimination / Andreas Dolzmann |
| Automated Discovering and Proving for Geometric Inequalities / Lu Yang ; Xiaorong Hou ; Bican Xia |
| Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle / Jacques D. Fleuriot ; Lawrence C. Paulson |
| Readable Machine Solving in Geometry and ICAI Software MSG / Chuan-Zhong Li ; Jing-Zhong Zhang |
| Plane Euclidean Reasoning / Desmond Fearnley-Sander |
| A Clifford Algebraic Method for Geometric Reasoning / Haiquan Yang ; Shugong Zhang ; Guochen Feng |
| Clifford Term Rewriting for Geometric Reasoning in 3D / Thierry Boy de la Tour ; Stéphane Fèvre ; Dongming Wang |
| Some Applications of Clifford Algebra to Geometries / Hongbo Li |
| Decomposing Algebraic Varieties |
| An Application of Automatic Theorem Proving in Computer Vision / Didier Bondyfalat ; Bernard Mourrain ; Thèodore Papadopoulo |
| Automated Geometry Diagram Construction and Engineering Geometry / Xiao-Shan Gao |
| A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction / Jae Yeol Lee |
| Variant Geometry Analysis and Synthesis in Mechanical CAD / Zongying Ou ; Jun Liu |
| Author Index |
| Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving / Wen-tsün Wu |
| Solving Geometric Problems with Real Quantifier Elimination / Andreas Dolzmann |
| Automated Discovering and Proving for Geometric Inequalities / Lu Yang ; Xiaorong Hou ; Bican Xia |
| Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle / Jacques D. Fleuriot ; Lawrence C. Paulson |
| Readable Machine Solving in Geometry and ICAI Software MSG / Chuan-Zhong Li ; Jing-Zhong Zhang |
| Plane Euclidean Reasoning / Desmond Fearnley-Sander |
