This is a preview of subscription content, log in via an institution.
References
K.B. Taylor, “Three Circles with Collinear Centers”, American Mathematical Monthly 90 (1983), 486–487.
S.C. Chou, “Proving Elementary Geometry Theorems Using Wu's Algorithm”, in Automated Theorem Proving: After 25 years, American Mathematical Society, Contemporary Mathematics 29 (1984), 243–286.
S.C. Chou, “A Method for Mechanical Derivation of Formulas in Elementary Geometry”, February 1986, submitted to Journal of Automated Reasoning.
S.C. Chou, “A Step toward Mechanical Proving Geometry Theorems Involving Inequality — Experimental Results”, Preprint, March, 1986, Institute for Computing Science, University of Texas at Austin.
S.C. Chou and W.F. Schelter, “Proving Geometry Theorems with Rewrite Rules”, Preprint, December 1985.
Wu Wen-tsün, “On the Decision Problem and the Mechanization of Theorem Proving in Elementary Geometry”, Scientia Sinica 21 (1978), 157–179.
Wu Wen-tsün, Basic Principles of Mechanical Theorem Proving In Geometries, (in Chinese) Peking 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chou, SC. (1986). GEO-prover — A geometry theorem prover developed at UT. In: Siekmann, J.H. (eds) 8th International Conference on Automated Deduction. CADE 1986. Lecture Notes in Computer Science, vol 230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16780-3_134
Download citation
DOI: https://doi.org/10.1007/3-540-16780-3_134
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16780-8
Online ISBN: 978-3-540-39861-5
eBook Packages: Springer Book Archive