04270nam 22007695 450 99646590380331620200704042302.03-540-45410-110.1007/3-540-45410-1(CKB)1000000000211415(SSID)ssj0000321530(PQKBManifestationID)11232824(PQKBTitleCode)TC0000321530(PQKBWorkID)10262912(PQKB)11016700(DE-He213)978-3-540-45410-6(MiAaPQ)EBC3073114(PPN)155214993(EXLCZ)99100000000021141520121227d2001 u| 0engurnn|008mamaatxtccrAutomated Deduction in Geometry[electronic resource] Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /edited by Jürgen Richter-Gebert, Dongming Wang1st ed. 2001.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2001.1 online resource (VIII, 328 p.) Lecture Notes in Artificial Intelligence ;2061Bibliographic Level Mode of Issuance: Monograph3-540-42598-5 Includes bibliographical references at the end of each chapters and index.On 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.Lecture Notes in Artificial Intelligence ;2061Artificial intelligenceGeometryApplication softwareComputer graphicsMathematical logicPattern recognitionArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Geometryhttps://scigraph.springernature.com/ontologies/product-market-codes/M21006Computer Applicationshttps://scigraph.springernature.com/ontologies/product-market-codes/I23001Computer Graphicshttps://scigraph.springernature.com/ontologies/product-market-codes/I22013Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Pattern Recognitionhttps://scigraph.springernature.com/ontologies/product-market-codes/I2203XArtificial intelligence.Geometry.Application software.Computer graphics.Mathematical logic.Pattern recognition.Artificial Intelligence.Geometry.Computer Applications.Computer Graphics.Mathematical Logic and Formal Languages.Pattern Recognition.516/.00285Richter-Gebert Jürgenedthttp://id.loc.gov/vocabulary/relators/edtWang Dongmingedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on Automated Deduction in GeometryBOOK996465903803316Automated Deduction in Geometry772173UNISA