03051nam 2200613 a 450 991048483770332120200520144314.03-540-31363-X10.1007/11615798(CKB)1000000000232772(SSID)ssj0000316397(PQKBManifestationID)11275354(PQKBTitleCode)TC0000316397(PQKBWorkID)10264752(PQKB)10707349(DE-He213)978-3-540-31363-2(MiAaPQ)EBC3068302(PPN)123130670(EXLCZ)99100000000023277220051213d2006 uy 0engurnn|008mamaatxtccrAutomated deduction in geometry 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers /Hoon Hong, Dongming Wang (eds.)1st ed. 2006.Berlin ;New York Springerc20061 online resource (X, 213 p.) Lecture notes in computer science,0302-9742 ;3763.Lecture notes in artificial intelligenceBibliographic Level Mode of Issuance: Monograph3-540-31332-X 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 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.Lecture notes in computer science ;3763.Lecture notes in computer science.Lecture notes in artificial intelligence.ADG 2004GeometryData processingCongressesAutomatic theorem provingCongressesLogic, Symbolic and mathematicalCongressesGeometryData processingAutomatic theorem provingLogic, Symbolic and mathematical516.00285Hong Hoon976049Wang Dongming738655International Workshop on Automated Deduction in GeometryMiAaPQMiAaPQMiAaPQBOOK9910484837703321Automated deduction in geometry4194344UNINA