Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers / [electronic resource] :
edited by Hoon Hong, Dongming Wang.
- 1st ed. 2006.
- X, 213 p. online resource.
- Lecture Notes in Artificial Intelligence, 3763 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 3763 .
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.
9783540313632
10.1007/11615798 doi
Artificial intelligence.
Machine theory.
Computer science--Mathematics.
Discrete mathematics.
Computer graphics.
Pattern recognition systems.
Convex geometry .
Discrete geometry.
Artificial Intelligence.
Formal Languages and Automata Theory.
Discrete Mathematics in Computer Science.
Computer Graphics.
Automated Pattern Recognition.
Convex and Discrete Geometry.
Q334-342 TA347.A78
006.3
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.
9783540313632
10.1007/11615798 doi
Artificial intelligence.
Machine theory.
Computer science--Mathematics.
Discrete mathematics.
Computer graphics.
Pattern recognition systems.
Convex geometry .
Discrete geometry.
Artificial Intelligence.
Formal Languages and Automata Theory.
Discrete Mathematics in Computer Science.
Computer Graphics.
Automated Pattern Recognition.
Convex and Discrete Geometry.
Q334-342 TA347.A78
006.3