Automatic Theorem Proving - Congresses, Geometry - Data Processing - Congresses, Logic, Symbolic And Mathematical - Congresses
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004. The 12 revised full papers presented were carefully selected from the papers accepted for the workshop after careful reviewing. All current issues in the area are addressed - theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.
Table of Contents
Mechanical Theorem Proving in Computational Geometry
Laura I. Meikle, Jacques D. Fleuriot 1
Computational Origami Construction of a Regular Heptagon with
Automated Proof of Its Correctness
Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi,
¸
Bruno Buchberger 19
Proving Geometric Theorems by Partitioned-Parametric Gr¨bner Bases
o
Xuefeng Chen, Peng Li, Long Lin, Dingkang Wang 34
Computations of the Area and Radius of Cyclic Polygons Given by the
Lengths of Sides
Pavel Pech 44
Symbolic Solution of a Piano Movers’ Problem with Four Parameters
Lu Yang, Zhenbing Zeng 59
Computing Curves Bounding Trigonometric Planar Maps:
Symbolic and Hybrid Methods
Daniel Lichtblau 70
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic
Approach
Francisco Botana, Tom´s Recio
a 92
On the Decidability of Tracing Problems in Dynamic Geometry
Britta Denner-Broser 111
Towards a Geometric-Object-Oriented Language
Tielin Liang, Dongming Wang 130
Spatial Planning and Geometric Optimization: Combining
Con?guration Space and Energy Methods
Dmytro Chibisov, Ernst W. Mayr, Sergey Pankratov 156
nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by
Local Propagation
Hongbo Li 169
Planar Generalized Stewart Platforms and Their Direct Kinematics
Gui-Fang Zhang, Xiao-Shan Gao 198
Author Index 213