Searching for "A New Approach for Automatic Theorem Proving in Real Geometry." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A New Approach for Automatic Theorem Proving in Real Geometry
- …A New Approach for Automatic Theorem Proving in Real Geometry Andreas Dolzmann, Thomas Sturm…
- Cited by 22 (13 self) – Add To MetaCart
-
Applications of Real First-Order Constraint Solving Bibliography
- …, and Volker Weispfenning. A new approach for automatic theorem proving in real geometry. Journal of Automated…
- Cited by 2 (2 self) – Add To MetaCart
-
EXISTS([w, z, a], [[-2,2], [-2,2], [0, \infty]],
- …. Dolzmann, T. Sturm, and V. Weispfenning. A new approach for automatic theorem proving in real geometry…
- Add To MetaCart
Showing 1 through 3.
