Advertisement

Automated Deduction in Geometry

Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers

  • Jürgen Richter-Gebert
  • Dongming Wang
Conference proceedings ADG 2000

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2061)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2061)

Table of contents

  1. Front Matter
    Pages I-VIII
    PDF
  2. On Spatial Constraint Solving Approaches
    Christoph M. Hoffmann, Bo Yuan
    Pages 1-15
  3. A Hybrid Method for Solving Geometric Constraint Problems
    Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang
    Pages 16-25
  4. Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study
    Fabrice Rouillier, Mohab Safey El Din, Éric Schost
    Pages 26-40
  5. A Practical Program of Automated Proving for a Class of Geometric Inequalities
    Lu Yang, Ju Zhang
    Pages 41-57
  6. Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving
    Daniela Tulone, Chee Yap, Chen Li
    Pages 58-82
  7. Algebraic and Semialgebraic Proofs: Methods and Paradoxes
    Pasqualina Conti, Carlo Traverso
    Pages 83-103
  8. Remarks on Geometric Theorem Proving
    Laura Bazzotti, Giorgio Dalzotto, Lorenzo Robbiano
    Pages 104-128
  9. The Kinds of Truth of Geometry Theorems
    Michael Bulmer, Desmond Fearnley-Sander, Tim Stokes
    Pages 129-142
  10. A Complex Change of Variables for Geometrical Reasoning
    Tim Stokes, Michael Bulmer
    Pages 143-153
  11. Reasoning about Surfaces Using Differential Zero and Ideal Decomposition
    Philippe Aubry, Dongming Wang
    Pages 154-174
  12. Effective Methods in Computational Synthetic Geometry
    Jürgen Bokowski
    Pages 175-192
  13. Decision Complexity in Dynamic Geometry
    Ulrich Kortenkamp, Jürgen Richter-Gebert
    Pages 193-198
  14. Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method
    Hongbo Li, Yihong Wu
    Pages 199-227
  15. Qubit Logic, Algebra and Geometry
    Timothy F. Havel
    Pages 228-245
  16. Nonstandard Geometric Proofs
    Jacques D. Fleuriot
    Pages 246-267
  17. Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
    Ricardo Caferra, Nicolas Peltier, François Puitg
    Pages 268-305
  18. Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry
    Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck
    Pages 306-323
  19. Back Matter
    Pages 325-325
    PDF

About these proceedings

Keywords

Automat Computer Vision Computer-Aided Design Formal Verification Geometric Deduction Geometric Design Geometric Modeling Geometric Problem Solving Theorem Proving automated deduction proving

Editors and affiliations

  • Jürgen Richter-Gebert
    • 1
  • Dongming Wang
    • 2
  1. 1.Zentrum Mathematik, SB4Technische Universität MünchenMünchenGermany
  2. 2.Laboratoire d’Informatique de Paris 6Université Pierre et Marie Curie — CNRSParis Cedex 05France

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45410-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42598-4
  • Online ISBN 978-3-540-45410-6
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site