04979nam 22008055 450 991014360260332120251116234122.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(BIP)13638498(BIP)7391835(EXLCZ)99100000000021141520121227d2001 u| 0engurnn|008mamaatxtccrAutomated Deduction in Geometry 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.This 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.Lecture Notes in Artificial Intelligence ;2061Artificial intelligenceGeometryApplication softwareComputer graphicsLogic, Symbolic and mathematicalPattern perceptionArtificial 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.Logic, Symbolic and mathematical.Pattern perception.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 GeometryBOOK9910143602603321Automated Deduction in Geometry772173UNINA