Automated Deduction in Geometry [electronic resource] : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /
International Workshop on Automated Deduction in GeometryCorporate Author
International Workshop on Automated Deduction in Geometry(3rd :2000 :Zurich, Switzerland)
International Workshop on Automated Deduction in Geometry
Richter-Gebert, Jürgen.editor.
Wang, Dongming.editor.
Bibliographic Level Mode of Issuance: Monograph
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.
Artificial intelligence.
Geometry.
Application software.
Computer graphics.
Mathematical logic.
Pattern recognition.
Artificial Intelligence.
Geometry.
Computer Applications.
Computer Graphics.
Mathematical Logic and Formal Languages.
Pattern Recognition.