Abstract is missing.
- On Spatial Constraint Solving ApproachesChristoph M. Hoffmann, Bo Yuan. 1-15 [doi]
- A Hybrid Method for Solving Geometric Constraint ProblemsXiao-Shan Gao, Lei-Dong Huang, Kun Jiang. 16-25 [doi]
- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental StudyFabrice Rouillier, Mohab Safey El Din, Éric Schost. 26-40 [doi]
- A Practical Program of Automated Proving for a Class of Geometric InequalitiesLu Yang, Ju Zhang. 41-57 [doi]
- Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem ProvingDaniela Tulone, Chee-Keng Yap, Chen Li 0003. 58-82 [doi]
- Algebraic and Semialgebraic Proofs: Methods and ParadoxesPasqualina Conti, Carlo Traverso. 83-103 [doi]
- Remarks on Geometric Theorem ProvingLaura Bazzotti, Giorgio Dalzotto, Lorenzo Robbiano. 104-128 [doi]
- The Kinds of Truth of Geometry TheoremsMichael Bulmer, Desmond Fearnley-Sander, Timothy Stokes. 129-142 [doi]
- A Complex Change of Variables for Geometrical ReasoningTimothy Stokes, Michael Bulmer. 143-153 [doi]
- Reasoning about Surfaces Using Differential Zero and Ideal DecompositionPhilippe Aubry, Dongming Wang. 154-174 [doi]
- Effective Methods in Computational Synthetic GeometryJürgen Bokowski. 175-192 [doi]
- Decision Complexity in Dynamic GeometryUlrich Kortenkamp, Jürgen Richter-Gebert. 193-198 [doi]
- Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination MethodHongbo Li, Yihong Wu. 199-227 [doi]
- Qubit Logic, Algebra and GeometryTimothy F. Havel. 228-245 [doi]
- Nonstandard Geometric ProofsJacques D. Fleuriot. 246-267 [doi]
- Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical RealizationRicardo Caferra, Nicolas Peltier, François Puitg. 268-305 [doi]
- Higher-Order Intuitionistic Formalization and Proofs in Hilbert s Elementary GeometryChristophe Dehlinger, Jean-François Dufourd, Pascal Schreck. 306-324 [doi]