Hong, Hoon. <br/><br/>
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. 
 - X, 213 p. Also available online.  online resource. 
 - Lecture Notes in Computer Science,  3763  0302-9743 ; .
 - Lecture Notes in Computer Science,  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/>ZDB-2-SCS ZDB-2-LNC 
<br/><br/><label>ISBN: </label>9783540313632 
<br/><br/><label>Standard No.: </label>10.1007/11615798  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computational complexity.<br/>Artificial intelligence.<br/>Computer graphics.<br/>Optical pattern recognition.<br/>Discrete groups.<br/>Computer Science.<br/>Artificial Intelligence (incl. Robotics).<br/>Mathematical Logic and Formal Languages.<br/>Discrete Mathematics in Computer Science.<br/>Computer Graphics.<br/>Pattern Recognition.<br/>Convex and Discrete Geometry.
<br/><br/><label>LC Class. No.: </label>Q334-342 TJ210.2-211.495 
<br/><br/><label>Dewey Class. No.: </label>006.3