Skip to main content
SpringerLink
Log in

Automated Deduction in Geometry

Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Jürgen Richter-Gebert

    1. Zentrum Mathematik, SB4, Technische Universität München, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dongming Wang

    1. Laboratoire d’Informatique de Paris 6, Université Pierre et Marie Curie — CNRS, Paris Cedex 05, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter 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
    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Zentrum Mathematik, SB4, Technische Universität München, München, Germany

    Jürgen Richter-Gebert

  • Laboratoire d’Informatique de Paris 6, Université Pierre et Marie Curie — CNRS, Paris Cedex 05, France

    Dongming Wang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation