LEADER 04381nam  22008895  450 
001 9910484837703321
005 20251226203840.0
010   $a3-540-31363-X
024 7 $a10.1007/11615798
035   $a(CKB)1000000000232772
035   $a(SSID)ssj0000316397
035   $a(PQKBManifestationID)11275354
035   $a(PQKBTitleCode)TC0000316397
035   $a(PQKBWorkID)10264752
035   $a(PQKB)10707349
035   $a(DE-He213)978-3-540-31363-2
035   $a(MiAaPQ)EBC3068302
035   $a(PPN)123130670
035   $a(BIP)32371938
035   $a(BIP)13290801
035   $a(EXLCZ)991000000000232772
100   $a20100323d2006      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomated Deduction in Geometry $e5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers /$fedited by Hoon Hong, Dongming Wang
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (X, 213 p.) 
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v3763
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-31332-X 
320   $aIncludes bibliographical references and index.
327   $aMechanical 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.
330   $aThis book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004. The 12 revised full papers presented aurvey current issues theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.
410  0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v3763
606   $aArtificial intelligence
606   $aMachine theory
606   $aComputer science$xMathematics
606   $aDiscrete mathematics
606   $aComputer graphics
606   $aPattern recognition systems
606   $aConvex geometry
606   $aDiscrete geometry
606   $aArtificial Intelligence
606   $aFormal Languages and Automata Theory
606   $aDiscrete Mathematics in Computer Science
606   $aComputer Graphics
606   $aAutomated Pattern Recognition
606   $aConvex and Discrete Geometry
615  0$aArtificial intelligence.
615  0$aMachine theory.
615  0$aComputer science$xMathematics.
615  0$aDiscrete mathematics.
615  0$aComputer graphics.
615  0$aPattern recognition systems.
615  0$aConvex geometry.
615  0$aDiscrete geometry.
615 14$aArtificial Intelligence.
615 24$aFormal Languages and Automata Theory.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aComputer Graphics.
615 24$aAutomated Pattern Recognition.
615 24$aConvex and Discrete Geometry.
676   $a516.00285
701   $aHong$b Hoon$0976049
701   $aWang$b Dongming$0738655
712 12$aInternational Workshop on Automated Deduction in Geometry
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484837703321
996   $aAutomated deduction in geometry$94194344
997   $aUNINA