Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)
Edición de la obra Automated deduction in geometry
| Autor | Jürgen Richter-Gebert, Dongming Wang |
|---|---|
| Editorial | Springer |
| Fecha de publicación | October 16, 2001 |
| Idioma | inglés |
| Páginas | 325 |
| Formato | Paperback |
| ISBN-13 | 9783540425984 |
| ISBN-10 | 3540425985 |
| OCLC | 47996332 |
| LCCN |
| 2001049648 |
| Número de Cutter | R537a |
|---|
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>