Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers
Author: Jürgen Richter-Gebert, Dongming Wang
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42598-4
DOI: 10.1007/3-540-45410-1
Table of Contents:
- 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
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Showing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
2006, Springer London, Limited
in English
3540454101 9783540454106
|
aaaa
Libraries near you:
WorldCat
|
2
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
2003, Springer
in English
354047997X 9783540479970
|
zzzz
Libraries near you:
WorldCat
|
3
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)
October 16, 2001, Springer
Paperback
in English
- 1 edition
3540425985 9783540425984
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created February 25, 2022
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
February 25, 2022 | Created by ImportBot | Imported from Better World Books record |