3. ADG 2000: Zurich, Switzerland

@proceedings{DBLP:conf/adg/2000,
  editor    = {J{\"u}rgen Richter-Gebert and
               Dongming Wang},
  title     = {Automated Deduction in Geometry, Third International Workshop,
               ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised
               Papers},
  booktitle = {Automated Deduction in Geometry},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2061},
  year      = {2001},
  isbn      = {3-540-42598-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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