TY  - BOOK
AU  - 
AU  - 
ED  - SpringerLink (Online service)
TI  - Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783540313632
AV  - Q334-342 
U1  - 006.3 23
PY  - 2006///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computational complexity
KW  - Artificial intelligence
KW  - Computer graphics
KW  - Optical pattern recognition
KW  - Discrete groups
KW  - Computer Science
KW  - Artificial Intelligence (incl. Robotics)
KW  - Mathematical Logic and Formal Languages
KW  - Discrete Mathematics in Computer Science
KW  - Computer Graphics
KW  - Pattern Recognition
KW  - Convex and Discrete Geometry
N1  - Mechanical Theorem Proving in Computational Geometry -- Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness -- Proving Geometric Theorems by Partitioned-Parametric Grȵbner Bases -- Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides -- Symbolic Solution of a Piano Movers Problem with Four Parameters -- Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods -- Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach -- On the Decidability of Tracing Problems in Dynamic Geometry -- Towards a Geometric-Object-Oriented Language -- Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods -- nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation -- Planar Generalized Stewart Platforms and Their Direct Kinematics; ZDB-2-SCS; ZDB-2-LNC
UR  - http://dx.doi.org/10.1007/11615798
ER  -