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 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540313632 
<br/><br/><label>Standard No.: </label>10.1007/11615798  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Machine theory.<br/>Computer science--Mathematics.<br/>Discrete mathematics.<br/>Computer graphics.<br/>Pattern recognition systems.<br/>Convex geometry .<br/>Discrete geometry.<br/>Artificial Intelligence.<br/>Formal Languages and Automata Theory.<br/>Discrete Mathematics in Computer Science.<br/>Computer Graphics.<br/>Automated Pattern Recognition.<br/>Convex and Discrete Geometry.
<br/><br/><label>LC Class. No.: </label>Q334-342 TA347.A78 
<br/><br/><label>Dewey Class. No.: </label>006.3