Proving by example and gap theorems
- 1 October 1986
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 107-116
- https://doi.org/10.1109/sfcs.1986.48
Abstract
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.Keywords
This publication has 6 references indexed in Scilit:
- On similarity and duality of computation (I)Information and Control, 1984
- The fastest exact algorithms for the isolation of the real roots of a polynomial equationComputing, 1980
- On the sign of a real algebraic numberPublished by Association for Computing Machinery (ACM) ,1976
- Some problems about polynomialsPublished by Association for Computing Machinery (ACM) ,1976
- Polynomial real root isolation by differentiationPublished by Association for Computing Machinery (ACM) ,1976
- A Decision Method for Elementary Algebra and GeometryPublished by University of California Press ,1951