Automated Deduction in Geometry

Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

340 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI) Mustererkennung
• ISBN: 9783540425984
• Sprache: Englisch
• Erscheinungsdatum: 12.09.2001
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Jürgen Richter-Gebert, Dongming Wang