Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

by Richter-Gebert, Jurgen; Wang, Dongming; INTERNATIONAL WORKSHOP ON AUTOMATED DEDU

• ISBN13: 9783540425984
• ISBN10: 3540425985
• Format: Paperback
• Copyright: 2001-10-01
• Publisher: Springer Verlag

Summary

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.

Table of Contents

On Spatial Constraint Solving Approaches	1	(15)
Christoph M. Hoffmann
Bo Yuan
A Hybrid Method for Solving Geometric Constraint Problems	16	(10)
Xiao-Shan Gao
Lei-Dong Huang
Kun Jiang
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study	26	(15)
Fabrice Rouillier
Mohab Safey El Din
Eric Schost
A Practical Program of Automated Proving for a Class of Geometric Inequalities	41	(17)
Lu Yang
Ju Zhang
Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving	58	(25)
Daniela Tulone
Chee Yap
Chen Li
Algebraic and Semialgebraic Proofs: Methods and Paradoxes	83	(21)
Pasqualina Conti
Carlo Traverso
Remarks on Geometric Theorem Proving	104	(25)
Laura Bazzotti
Giorgio Dalzotto
Lorenzo Robbiano
The Kinds of Truth of Geometry Theorems	129	(14)
Michael Bulmer
Desmond Fearnley-Sander
Tim Stokes
A Complex Change of Variables for Geometrical Reasoning	143	(11)
Tim Stokes
Michael Bulmer
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition	154	(21)
Philippe Aubry
Dongming Wang
Effective Methods in Computational Synthetic Geometry	175	(18)
Jurgen Bokowski
Decision Complexity in Dynamic Geometry	193	(6)
Ulrich Kortenkamp
Jurgen Richter-Gebert
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method	199	(29)
Hongbo Li
Yihong Wu
Qubit Logic, Algebra and Geometry	228	(18)
Timothy F. Havel
Nonstandard Geometric Proofs	246	(22)
Jacques D. Fleuriot
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization	268	(38)
Ricardo Caferra
Nicolas Peltier
Francois Puitg
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry	306	(19)
Christophe Dehlinger
Jean-Francois Dufourd
Pascal Schreck
Author Index	325