Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers /
International Workshop on Automated Deduction in GeometryCorporate Author
International Workshop on Automated Deduction in Geometry(5th :2004 :Gainesville, Fla.)
International Workshop on Automated Deduction in Geometry
Hong, Hoon.editor.
Wang, Dongming.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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 Grö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.
Artificial intelligence.
Mathematical logic.
Computer science-Mathematics.
Computer graphics.
Pattern recognition.
Convex geometry .
Discrete geometry.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Computer Graphics.
Pattern Recognition.
Convex and Discrete Geometry.
Lecture notes in computer science