4. ADG 2002:
Hagenberg Castle,
Austria
Franz Winkler (Ed.):
Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers.
Lecture Notes in Computer Science 2930 Springer 2004, ISBN 3-540-20927-1 
- Gábor Bodnár:
Algorithmic Tests for the Normal Crossing Property.
1-20
- XueFeng Chen, DingKang Wang:
The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction.
21-30
- Solen Corvez, Fabrice Rouillier:
Using Computer Algebra Tools to Classify Serial Manipulators.
31-43
- Xiao-Shan Gao, Qiang Lin:
MMP/Geometer - A Software Package for Automated Geometric Reasoning.
44-66
- Hans-Gert Gräbe:
The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes.
67-86
- Christophe Jermann, Bertrand Neveu, Gilles Trombettoni:
A New Structural Rigidity for Geometric Constraint Systems.
87-106
- Hongbo Li:
Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving.
106-123
- John C. Owen, Steve C. Power:
The Nonsolvability by Radicals of Generic 3-connected Planar Graphs.
124-131
- Alexander A. Pasko, Valery Adzhiev:
Function-Based Shape Modeling: Mathematical Framework and Specialized Language.
132-160
- Mohamed Shalaby, Bert Jüttler, Josef Schicho:
C1 Spline Implicitization of Planar Curves.
161-177
- Irina Tchoupaeva:
Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method.
178-193
- Dongming Wang:
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically.
194-215
- Lu Yang:
Distance Coordinates Used in Geometric Constraint Solving.
216-229
Last update Tue May 22 03:55:43 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
