LEADER 04050nam  22007575  450 
001 9910484794003321
005 20251226200152.0
010   $a3-642-40672-6
024 7 $a10.1007/978-3-642-40672-0
035   $a(CKB)3710000000019148
035   $a(SSID)ssj0001010854
035   $a(PQKBManifestationID)11638717
035   $a(PQKBTitleCode)TC0001010854
035   $a(PQKBWorkID)11004492
035   $a(PQKB)11581852
035   $a(DE-He213)978-3-642-40672-0
035   $a(MiAaPQ)EBC3093549
035   $a(PPN)17242982X
035   $a(EXLCZ)993710000000019148
100   $a20130902d2013      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomated Deduction in Geometry $e9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /$fedited by Tetsuo Ida, Jacques Fleuriot
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 193 p. 55 illus.) 
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v7993
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-642-40671-8 
327   $aProof and Computation in Geometry -- Automation of Geometry: Theorem Proving, Diagram -- Generation, and Knowledge Management -- Improving Angular Speed Uniformity by C1 Piecewise Reparameterization -- Extending the Descartes Circle Theorem for Steiner n-Cycles -- Equation Systems with Free-Coordinates Determinants -- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls -- Realizations of Volume Frameworks -- Rigidity of Origami Universal Molecules -- Algebraic Analysis of Huzita?s Origami Operations and Their Extensions -- On the Formal Analysis of Geometrical Optics in HOL -- Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs.
330   $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.
410  0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v7993
606   $aArtificial intelligence
606   $aComputer graphics
606   $aMachine theory
606   $aComputer science$xMathematics
606   $aDiscrete mathematics
606   $aSoftware engineering
606   $aArtificial Intelligence
606   $aComputer Graphics
606   $aFormal Languages and Automata Theory
606   $aSymbolic and Algebraic Manipulation
606   $aDiscrete Mathematics in Computer Science
606   $aSoftware Engineering
615  0$aArtificial intelligence.
615  0$aComputer graphics.
615  0$aMachine theory.
615  0$aComputer science$xMathematics.
615  0$aDiscrete mathematics.
615  0$aSoftware engineering.
615 14$aArtificial Intelligence.
615 24$aComputer Graphics.
615 24$aFormal Languages and Automata Theory.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aSoftware Engineering.
676   $a006.3
702   $aIda$b Tetsuo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFleuriot$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910484794003321
996   $aAutomated Deduction in Geometry$9772173
997   $aUNINA