Conferences in DBLP

Automated Deduction in Geometry (ADG) (adg)
2000 (conf/adg/2000)

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