LEADER 03931nam  22008415  450 
001 9910484378903321
005 20251226195127.0
010   $a3-319-21362-8
024 7 $a10.1007/978-3-319-21362-0
035   $a(CKB)3710000000454189
035   $a(SSID)ssj0001558446
035   $a(PQKBManifestationID)16183738
035   $a(PQKBTitleCode)TC0001558446
035   $a(PQKBWorkID)14819075
035   $a(PQKB)10105797
035   $a(DE-He213)978-3-319-21362-0
035   $a(MiAaPQ)EBC6298342
035   $a(MiAaPQ)EBC5586795
035   $a(Au-PeEL)EBL5586795
035   $a(OCoLC)914299706
035   $a(PPN)187688745
035   $a(EXLCZ)993710000000454189
100   $a20150717d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomated Deduction in Geometry $e10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /$fedited by Francisco Botana, Pedro Quaresma
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (IX, 181 p. 54 illus.) 
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v9201
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-21361-X 
320   $aIncludes bibliographical references and index.
327   $aStar Unfolding Polygons -- Volume Frameworks and Deformation Varieties -- Recent Advances in Real Geometric Reasoning -- The Relation Tool in GeoGebra -- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems -- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons -- Extension of Simson-Wallace Theorem on Skew Quadrilaterals -- Current Status of the I2GATP Common Format -- On Flattenability of Graphs -- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams -- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems.
330   $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
410  0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v9201
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   $a516.00285
702   $aBotana$b Francisco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aQuaresma$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484378903321
996   $aAutomated Deduction in Geometry$9772173
997   $aUNINA