04191nam 22007935 450 99646612130331620200701070648.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)99100000000023277220100323d2006 u| 0engurnn|008mamaatxtccrAutomated Deduction in Geometry[electronic resource] 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers /edited by Hoon Hong, Dongming Wang1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (X, 213 p.) Lecture Notes in Artificial Intelligence ;3763Bibliographic 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 Artificial Intelligence ;3763Artificial intelligenceMathematical logicComputer science—MathematicsComputer graphicsPattern recognitionConvex geometry Discrete geometryArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Discrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Computer Graphicshttps://scigraph.springernature.com/ontologies/product-market-codes/I22013Pattern Recognitionhttps://scigraph.springernature.com/ontologies/product-market-codes/I2203XConvex and Discrete Geometryhttps://scigraph.springernature.com/ontologies/product-market-codes/M21014Artificial 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.516.00285Hong Hoonedthttp://id.loc.gov/vocabulary/relators/edtWang Dongmingedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on Automated Deduction in GeometryBOOK996466121303316Automated Deduction in Geometry772173UNISA