Conferences in DBLP

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

1. Gábor Bodnár
   Algorithmic Tests for the Normal Crossing Property. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2002, pp:1-20 [Conf]
   
2. XueFeng Chen, DingKang Wang
   The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2002, pp:21-30 [Conf]
   
3. Solen Corvez, Fabrice Rouillier
   Using Computer Algebra Tools to Classify Serial Manipulators. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2002, pp:31-43 [Conf]
   
4. Xiao-Shan Gao, Qiang Lin
   MMP/Geometer - A Software Package for Automated Geometric Reasoning. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2002, pp:44-66 [Conf]
   
5. Hans-Gert Gräbe
   The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2002, pp:67-86 [Conf]
   
6. Christophe Jermann, Bertrand Neveu, Gilles Trombettoni
   A New Structural Rigidity for Geometric Constraint Systems. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2002, pp:87-106 [Conf]
   
7. Hongbo Li
   Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2002, pp:106-123 [Conf]
   
8. John C. Owen, Steve C. Power
   The Nonsolvability by Radicals of Generic 3-connected Planar Graphs. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2002, pp:124-131 [Conf]
   
9. Alexander A. Pasko, Valery Adzhiev
   Function-Based Shape Modeling: Mathematical Framework and Specialized Language. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2002, pp:132-160 [Conf]
   
10. Mohamed Shalaby, Bert Jüttler, Josef Schicho
    C¹ Spline Implicitization of Planar Curves. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2002, pp:161-177 [Conf]
    
11. Irina Tchoupaeva
    Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2002, pp:178-193 [Conf]
    
12. Dongming Wang
    GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2002, pp:194-215 [Conf]
    
13. Lu Yang
    Distance Coordinates Used in Geometric Constraint Solving. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2002, pp:216-229 [Conf]