Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised PapersAuthor: Jürgen Richter-Gebert, Dongming Wang Published by Springer Berlin Heidelberg ISBN: 978-3-540-42598-4 DOI: 10.1007/3-540-45410-1Table of Contents:On Spatial Constraint Solving Approaches A Hybrid Method for Solving Geometric Constraint Problems Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study A Practical Program of Automated Proving for a Class of Geometric Inequalities Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving Algebraic and Semialgebraic Proofs: Methods and Paradoxes Remarks on Geometric Theorem Proving The Kinds of Truth of Geometry Theorems A Complex Change of Variables for Geometrical Reasoning Reasoning about Surfaces Using Differential Zero and Ideal Decomposition Effective Methods in Computational Synthetic Geometry Decision Complexity in Dynamic Geometry Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method Qubit Logic, Algebra and Geometry Nonstandard Geometric Proofs Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry, Includes bibliographical references and index