Proving by example and gap theorems

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.

[1]  W. Wu.  ON ZEROS OF ALGEBRAIC EQUATIONS——AN APPLICATION OF RITT PRINCIPLE , 1986 .

[2]  Siegfried M. Rump.  On the sign of a real algebraic number , 1976, SYMSAC '76.

[3]  R. E. Greene,et al.  Gap theorems for noncompact Riemannian manifolds , 1982 .

[4]  Rüdiger Loos,et al.  Polynomial real root isolation by differentiation , 1976, SYMSAC '76.

[5]  Maurice Mignotte,et al.  Some problems about polynomials , 1976, SYMSAC '76.

[6]  A. Tarski.  A Decision Method for Elementary Algebra and Geometry , 2023 .

[7]  Shing-Tung Yau,et al.  On the proof of the positive mass conjecture in general relativity , 1979 .

[8]  John H. Reif,et al.  The complexity of elementary algebra and geometry , 1984, STOC '84.

[9]  Jia-Wei Hong.  On Similarity and Duality of Computation (I) , 1984, Inf. Control..

[10]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[11]  Tun Wen-Dun.  ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY , 1978 .

[12]  J Hong.  CAN WE PROVE GEOMETRY THEOREM BY COMPUTING AN EXAMPLE , 1986 .

[13]  Shing-Tung Yau,et al.  Errata to the Paper "Complete Kähler Manifolds with Nonpositive Curvature of Faster than Quadratic Decay" , 1979 .

[14]  R. Tennant.  Algebra , 1941, Nature.

[15]  Shing-Tung Yau,et al.  Complete Kahler manifolds with nonpositive curvature of faster than quadratic decay1 , 1977 .

[16]  M. Gromov,et al.  Manifolds of Nonpositive Curvature , 1985 .