Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
A new algebraic method for robot motion planning and real geometry
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
Reliable Implementation of Real Number Algorithms: Theory and Practice
Geometric constraint solving: The witness configuration method
Computer-Aided Design
Hi-index | 0.00 |
This paper proposes a proving_by_example method, which works as follows: Given a geometry proposition we can easily present a concrete numerical example such that in order to determine whether the proposition is generally true, one need only to try this example up to a certain number of significant digits. This is an application of a recently discovered gap theorem.