The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002