This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Automated Deduction in Geometry, ADG 2000, held in Zurich, Switzerland, in September 2000.
The 16 revised full papers and two invited papers presented were carefully selected for publication during two rounds of reviewing and revision from a total of initially 31 submissions. Among the issues addressed are spatial constraint solving, automated proving of geometric inequalities, algebraic proof, semi-algebraic proofs, geometrical reasoning, computational synthetic geometry, incidence geometry, and nonstandard geometric proofs.
Author(s): Christoph M. Hoffmann, Bo Yuan (auth.), Jürgen Richter-Gebert, Dongming Wang (eds.)
Series: Lecture Notes in Computer Science 2061 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 328
Tags: Artificial Intelligence (incl. Robotics); Computer Graphics; Mathematical Logic and Formal Languages; Pattern Recognition; Discrete Mathematics in Computer Science; Geometry
On Spatial Constraint Solving Approaches....Pages 1-15
A Hybrid Method for Solving Geometric Constraint Problems....Pages 16-25
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study....Pages 26-40
A Practical Program of Automated Proving for a Class of Geometric Inequalities....Pages 41-57
Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving....Pages 58-82
Algebraic and Semialgebraic Proofs: Methods and Paradoxes....Pages 83-103
Remarks on Geometric Theorem Proving....Pages 104-128
The Kinds of Truth of Geometry Theorems....Pages 129-142
A Complex Change of Variables for Geometrical Reasoning....Pages 143-153
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition....Pages 154-174
Effective Methods in Computational Synthetic Geometry....Pages 175-192
Decision Complexity in Dynamic Geometry....Pages 193-198
Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method....Pages 199-227
Qubit Logic, Algebra and Geometry....Pages 228-245
Nonstandard Geometric Proofs....Pages 246-267
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization....Pages 268-305
Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry....Pages 306-323
