9783540313328
Automated Deduction In Geometry: 5th International Workshop, ADG 2004, Gainesville, Fl, USA, September 16-18, 2004, Revised Papers - Hoon Hong
Springer (2006)
In Collection
#7587

Read It:
Yes
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.

Product Details
LoC Classification QA448.D38 .I577 2004
Dewey 516.0285
Format Paperback
Cover Price 58,00 €
No. of Pages 213
Height x Width 240 x 155 mm

Notes
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