Abstract is missing.
- Algorithmic Tests for the Normal Crossing PropertyGábor Bodnár. 1-20 [doi]
- The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula DeductionXueFeng Chen, DingKang Wang. 21-30 [doi]
- Using Computer Algebra Tools to Classify Serial ManipulatorsSolen Corvez, Fabrice Rouillier. 31-43 [doi]
- MMP/Geometer - A Software Package for Automated Geometric ReasoningXiao-Shan Gao, Qiang Lin. 44-66 [doi]
- The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof SchemesHans-Gert Gräbe. 67-86 [doi]
- A New Structural Rigidity for Geometric Constraint SystemsChristophe Jermann, Bertrand Neveu, Gilles Trombettoni. 87-106 [doi]
- Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem ProvingHongbo Li. 106-123 [doi]
- The Nonsolvability by Radicals of Generic 3-connected Planar GraphsJohn C. Owen, Steve C. Power. 124-131 [doi]
- Function-Based Shape Modeling: Mathematical Framework and Specialized LanguageAlexander A. Pasko, Valery Adzhiev. 132-160 [doi]
- C:::1::: Spline Implicitization of Planar CurvesMohamed Shalaby, Bert Jüttler, Josef Schicho. 161-177 [doi]
- Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases MethodIrina Tchoupaeva. 178-193 [doi]
- GEOTHER 1.1: Handling and Proving Geometric Theorems AutomaticallyDongming Wang. 194-215 [doi]
- Distance Coordinates Used in Geometric Constraint SolvingLu Yang. 216-229 [doi]