4. ADG 2002: Hagenberg Castle, Austria

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