Automated Deduction in Geometry

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.

Includes supplementary material: sn.pub/extras