Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002: Revised Papers

Winkler F.3540246169

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002.The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.

---

Table of contents :
Table of Contents……Page 8
Algorithmic Tests for the Normal Crossing Property……Page 10
The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction……Page 30
Using Computer Algebra Tools to Classify Serial Manipulators……Page 40
MMP/Geometer – A Software Package for Automated Geometric Reasoning……Page 53
The SymbolicData GEO Records – A Public Repository of Geometry Theorem Proof Schemes……Page 76
A New Structural Rigidity for Geometric Constraint Systems……Page 96
Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving……Page 115
The Nonsolvability by Radicals of Generic 3-connected Planar Graphs……Page 133
Function-Based Shape Modeling: Mathematical Framework and Specialized Language……Page 141
C[sup(1)] Spline Implicitization of Planar Curves……Page 170
Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method……Page 187
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically……Page 203
Distance Coordinates Used in Geometric Constraint Solving……Page 225
Author Index……Page 240