Automated Deduction in Geometry
Subtitle: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)
Contributors: Jürgen Richter-Gebert (Editor); Dongming Wang (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 16, 2001
Language: eng
Format: Paperback
Number of pages: 325
ISBN-13: 9783540425984
Subjects: Artificial intelligence; Computer Communications & Networking; Geometry; Image processing: graphics (static images); Logic, Symbolic and mathematical; Data processing; Science/Mathematics; Automata; Mathematics; Logic, Symbolic and mathematic; Geometry - General; General; Artificial Intelligence - General; Automated Deduction; Computer Vision; Computer-Aided Design; Computers / Artificial Intelligence; Formal Verification; Geometric Deduction; Geometric Design; Geometric Modeling; Geometric Problem Solving; Computer Science; Automatic theorem proving; Congresses
First sentence: Spatial constraint solving involves decomposing the constraint schema into a collection of indecomposable subproblems, followed by a solution of those subproblems.
Description: Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers<br />Author: Jürgen Richter-Gebert, Dongming Wang<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-42598-4<br /> DOI: 10.1007/3-540-45410-1<br /><br />Table of Contents:<p></p><ul><li>On Spatial Constraint Solving Approaches
</li><li>A Hybrid Method for Solving Geometric Constraint Problems
</li><li>Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study
</li><li>A Practical Program of Automated Proving for a Class of Geometric Inequalities
</li><li>Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving
</li><li>Algebraic and Semialgebraic Proofs: Methods and Paradoxes
</li><li>Remarks on Geometric Theorem Proving
</li><li>The Kinds of Truth of Geometry Theorems
</li><li>A Complex Change of Variables for Geometrical Reasoning
</li><li>Reasoning about Surfaces Using Differential Zero and Ideal Decomposition
</li><li>Effective Methods in Computational Synthetic Geometry
</li><li>Decision Complexity in Dynamic Geometry
</li><li>Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method
</li><li>Qubit Logic, Algebra and Geometry
</li><li>Nonstandard Geometric Proofs
</li><li>Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
</li><li>Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry</li></ul>