Automated Deduction in Geometry [electronic resource] :Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers /
Contributor(s): Richter-Gebert, Jürgen [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service).Material type: BookSeries: Lecture Notes in Computer Science: 2061Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Description: VIII, 328 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540454106.Subject(s): Computer science | Mathematical logic | Artificial intelligence | Computer graphics | Pattern recognition | Application software | Geometry | Computer Science | Artificial Intelligence (incl. Robotics) | Geometry | Computer Applications | Computer Graphics | Mathematical Logic and Formal Languages | Pattern RecognitionOnline resources: Click here to access online
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.