Abstract is missing.
- Mechanical Theorem Proving in Computational GeometryLaura I. Meikle, Jacques D. Fleuriot. 1-18 [doi]
- Computational Origami Construction of a Regular Heptagon with Automated Proof of Its CorrectnessJudit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger. 19-33 [doi]
- Proving Geometric Theorems by Partitioned-Parametric Gröbner BasesXueFeng Chen, Peng Li, Long Lin, DingKang Wang. 34-43 [doi]
- Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of SidesPavel Pech. 44-58 [doi]
- Symbolic Solution of a Piano Movers Problem with Four ParametersLu Yang, Zhenbing Zeng. 59-69 [doi]
- Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid MethodsDaniel Lichtblau. 70-91 [doi]
- Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic ApproachFrancisco Botana, Tomás Recio. 92-110 [doi]
- On the Decidability of Tracing Problems in Dynamic GeometryBritta Denner-Broser. 111-129 [doi]
- Towards a Geometric-Object-Oriented LanguageTielin Liang, Dongming Wang. 130-155 [doi]
- Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy MethodsDmytro Chibisov, Ernst W. Mayr, Sergey Pankratov. 156-168 [doi]
- ::::n::::D Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local PropagationHongbo Li. 169-197 [doi]
- Planar Generalized Stewart Platforms and Their Direct KinematicsGui-Fang Zhang, Xiao-Shan Gao. 198-211 [doi]