Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Richter-Gebert, Jürgen (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Wang, Dongming (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Artificial Intelligence ; 2061
• Θέματα: Artificial intelligence.; Geometry.; Application software.; Computer graphics.; Mathematical logic.; Pattern recognition.; Artificial Intelligence.; Computer Applications.; Computer Graphics.; Mathematical Logic and Formal Languages.; Pattern Recognition.

Πίνακας περιεχομένων:

• 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.