Abstract
Wu's algebraic method for mechanically proving geometry theorems is presented at a level as elementary as possible with sufficient examples for further understanding the complete method.
Similar content being viewed by others
References
Altshiller-Court, N., College Geometry, Barnes & Noble (1952).
Taylor, K. B., ‘Three Circles with Collinear Centers’, American Math. Monthly 90, 486–487 (1983).
Chou, S. C., ‘Proving Elementary Geometry Theorems Using Wu's Algorithm’, in Automated Theorem Proving: After 25 Years (Eds. 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., ‘A Method for Mechanical Derivation of Formulas in Elementary Geometry’, February 1986, to appear in Journal of Automated Reasoning.
Chou, S. C., ‘Proving Geometry Theorems Using Wu's Method: A Collection of Geometry Theorems Proved Mechanically’, Technical Report 50, Institute for Computing Science, University of Texas at Austin (July 1986).
Chou, S. C., Methods and Examples in Mechanical Geometry Theorem Proving, to be published by Kluwer Academic Publishers.
Chou, S. C., Schelter, W. and Yang, G. J., ‘Characteristic Sets and Gröbner Bases in Proving Geometry Theorems’, Preprint (March 1986).
Chou, S. C. and Yang, G. J., ‘On the Algebraic Formulation of Geometry Theorems and Mechanical Geometry Theorem Proving’, Preprint (May 1986), University of Texas at Austin, submitted to Algorithmica.
Hilbert, D., Foundations of Geometry, Open Court Publishing Company, La Salla, Illinois (1971).
Ritt, R. F., Differential Algebra, AMS Colloquium Publications, New York (1950).
Tarski, A., A Decision Method for Elementary Algebra and Geometry, Second Edition, Berkeley and Los Angeles (1951).
Tarski, A., ‘What is Elementary Geometry’, in The Axiomatic Method (Ed. Tarski et al.) (1959).
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), republished in Journal of Automated Reasoning 2(4), 221–252 (1986).
Wu Wen-tsün, Basic Principles of Mechanical Theorem Proving in Geometries (in Chinese) Peking 1984.
Wu Wen-tsün, ‘Mechanical Theorem Proving in Elementary Geometry and Differential Geometry’, Proc. 1980 Beijing Symposium on Differential Geometry and Differential Equations 2, 125–138, Science Press (1982).
Author information
Authors and Affiliations
Additional information
The work reported here was supported by NSF Grant DCR-8503498.
Rights and permissions
About this article
Cite this article
Chou, SC. An introduction to Wu's method for mechanical theorem proving in geometry. J Autom Reasoning 4, 237–267 (1988). https://doi.org/10.1007/BF00244942
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00244942