ISBN: 3540666729
TITLE: Automated Deduction in Geometry
AUTHOR: Gao, Xiao-Shan; Wang, Dongming; Yang, Lu (Eds.)
TOC:

Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving 1
Wen-tsn Wu
Solving Geometric Problems with Real Quantifier Elimination 14
Andreas Dolzmann
Automated Discovering and Proving for Geometric Inequalities 30
Lu Yang, Xiaorong Hou, and Bican Xia
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle 47
Jacques D. Fleuriot and Lawrence C. Paulson
Readable Machine Solving in Geometry and ICAI Software MSG 67
Chuan-Zhong Li and Jing-Zhong Zhang
Plane Euclidean Reasoning 86
Desmond Fearnley-Sander
A Clifford Algebraic Method for Geometric Reasoning 111
Haiquan Yang, Shugong Zhang, and Guochen Feng
Clifford Term Rewriting for Geometric Reasoning in 3D 130
Thierry Boy de la Tour, Stphane Fvre, and Dongming Wang
Some Applications of Clifford Algebra to Geometries 156
Hongbo Li
Decomposing Algebraic Varieties 180
Dongming Wang
An Application of Automatic Theorem Proving in Computer Vision 207
Didier Bondyfalat, Bernard Mourrain, and Thodore Papadopoulo
Automated Geometry Diagram Construction and Engineering Geometry 232
Xiao-Shan Gao
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction 258
Jae Yeol Lee
Variant Geometry Analysis and Synthesis in Mechanical CAD 275
Zongying Ou and Jun Liu
Author Index 287
END
