LEADER 04979nam  22008055  450 
001 9910143602603321
005 20251116234122.0
010   $a3-540-45410-1
024 7 $a10.1007/3-540-45410-1
035   $a(CKB)1000000000211415
035   $a(SSID)ssj0000321530
035   $a(PQKBManifestationID)11232824
035   $a(PQKBTitleCode)TC0000321530
035   $a(PQKBWorkID)10262912
035   $a(PQKB)11016700
035   $a(DE-He213)978-3-540-45410-6
035   $a(MiAaPQ)EBC3073114
035   $a(PPN)155214993
035   $a(BIP)13638498
035   $a(BIP)7391835
035   $a(EXLCZ)991000000000211415
100   $a20121227d2001      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomated Deduction in Geometry $eThird International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /$fedited by Jürgen Richter-Gebert, Dongming Wang
205   $a1st ed. 2001.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001.
215   $a1 online resource (VIII, 328 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v2061
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-42598-5 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aOn Spatial Constraint Solving Approaches -- A Hybrid Method for Solving Geometric Constraint Problems -- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study -- A Practical Program of Automated Proving for a Class of Geometric Inequalities -- Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving -- Algebraic and Semialgebraic Proofs: Methods and Paradoxes -- Remarks on Geometric Theorem Proving -- The Kinds of Truth of Geometry Theorems -- A Complex Change of Variables for Geometrical Reasoning -- Reasoning about Surfaces Using Differential Zero and Ideal Decomposition -- Effective Methods in Computational Synthetic Geometry -- Decision Complexity in Dynamic Geometry -- Automated Theorem Proving in Incidence Geometry ? A Bracket Algebra Based Elimination Method -- Qubit Logic, Algebra and Geometry -- Nonstandard Geometric Proofs -- Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization -- Higher-Order Intuitionistic Formalization and Proofs in Hilbert?s Elementary Geometry.
330   $aThis book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Automated Deduction in Geometry, ADG 2000, held in Zurich, Switzerland, in September 2000.The 16 revised full papers and two invited papers presented were carefully selected for publication during two rounds of reviewing and revision from a total of initially 31 submissions. Among the issues addressed are spatial constraint solving, automated proving of geometric inequalities, algebraic proof, semi-algebraic proofs, geometrical reasoning, computational synthetic geometry, incidence geometry, and nonstandard geometric proofs.
410  0$aLecture Notes in Artificial Intelligence ;$v2061
606   $aArtificial intelligence
606   $aGeometry
606   $aApplication software
606   $aComputer graphics
606   $aLogic, Symbolic and mathematical
606   $aPattern perception
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aGeometry$3https://scigraph.springernature.com/ontologies/product-market-codes/M21006
606   $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001
606   $aComputer Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22013
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X
615  0$aArtificial intelligence.
615  0$aGeometry.
615  0$aApplication software.
615  0$aComputer graphics.
615  0$aLogic, Symbolic and mathematical.
615  0$aPattern perception.
615 14$aArtificial Intelligence.
615 24$aGeometry.
615 24$aComputer Applications.
615 24$aComputer Graphics.
615 24$aMathematical Logic and Formal Languages.
615 24$aPattern Recognition.
676   $a516/.00285
702   $aRichter-Gebert$b Jürgen$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWang$b Dongming$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Workshop on Automated Deduction in Geometry
906   $aBOOK
912   $a9910143602603321
996   $aAutomated Deduction in Geometry$9772173
997   $aUNINA