Abstract
A method for mechanical derivation of formulas and calculation of quantities in geometry is given with several examples to illustrate its applications.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Buchberger, B., ‘Gröbner bases: an algorithmic method in polynomial ideal theory’, in Recent Trends in Multidimensional Systems Theory, (ed. N. K. Bose), D. Reidel, Dordrecht, 1985, ch. 6.
Chou, S. C., ‘Proving elementary geometry theorems using Wu's algorithm’, in Automated Theorem Proving: After 25 years, (ed. W. W. Bledsoe and D. Loveland), AMS Contemporary Mathematics Series 29, 243–286, (1984).
Chou, S. C., ‘Proving and discovering theorems in elementary geometries using Wu's method’, PhD Thesis, Department of Mathematics, University of Texas, Austin (1985).
Chou, S. C., ‘Mechanical calculating quantities and deriving formulas in geometry using Wu's method’, Unpublished preprint (1985).
Chou, S. C., ‘A step toward mechanical proving geometry theorems involving inequality-experimental results’, Preprint, Institute for Computing Science, University of Texas at Austin (1986).
Chou, S. C. and Schelter, W. F., ‘Proving geometry theorems with rewrite rules’, Journal of Automated Reasoning 2, 253–273 (1986).
Chou, S. C., Schelter, W., and Yang, G. J., ‘Characteristic sets and Gröbner bases in proving geometry theorems’, Preprint (1986).
Hilbert, D., Foundations of Geometry, Open Court Publishing Company, La Salla, Illinois (1971).
Ritt, R. F., Differential Algebra, AMS Colloquium Publications, New York (1950).
Wu, Wen-tsün, ‘On the decision problem and the mechanization of theorem proving in elementary geometry’, Scientia Sinica 21, 157–179 (1978).
Wu, Wen-tsün, ‘Basic principles of mechanical theorem proving in geometries’, J. of Sys. Sci. and Math. Sci. 4(3), 207–235 (1984).
Wu Wen-tsün, Basic Principles of Mechanical Theorem Proving in Geometries (in Chinese), Peking (1984).
Author information
Authors and Affiliations
Additional information
The work described in this article was supported by NSF grant DRC-8503498.
Rights and permissions
About this article
Cite this article
Chou, SC. A method for the mechanical derivation of formulas in elementary geometry. J Autom Reasoning 3, 291–299 (1987). https://doi.org/10.1007/BF00243793
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00243793