Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers
Author: Jürgen Richter-Gebert, Dongming Wang
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42598-4
DOI: 10.1007/3-540-45410-1

Table 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