Preview
Unable to display preview. Download preview PDF.
References
S. C. Chou, Mechanical Geometry Theorem Proving, D.Reidel Publishing Company, Dordrecht, Netherlands, 1988.
S. C. Chou, A Geometry Theorem Prover for Macintoshes, in Proceedings of 11th International Conference on Automated Deduction (CADE-11), Lecture Notes in Computer Science, Vol. 607, 686–689, Springer-Verlag, 1992.
S. C. Chou, X. S. Gao, & J. Z. Zhang, Machine Proofs in Geometry, World Scientific, Singapore, 1994.
S. C. Chou, X. S. Gao, & J. Z. Zhang, A Fixpoint Approach To Automated Geometry Theorem Proving, WSUCS-95-2, CS Dept, Wichita State University, 1995.
D. Kapur, Geometry Theorem Proving Using Hilbert's Nullstellensatz, Proc. of SYMSAC'86, Waterloo, 1986, 202–208.
B. Kutzler & S. Stifter, Automated Geometry Theorem Proving Using Buchberger's Algorithm, Proc. of SYMSAC'86, Waterloo, 1986, 209–214.
Wu Wen-tsün, Basic Principles of Mechanical Theorem Proving in Geometries, Volume I: Part of Elementary Geometries, Science Press, Beijing (in Chinese), 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chou, SC., Gao, XS., Zhang, JZ. (1996). An introduction to geometry expert. In: McRobbie, M.A., Slaney, J.K. (eds) Automated Deduction — Cade-13. CADE 1996. Lecture Notes in Computer Science, vol 1104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61511-3_86
Download citation
DOI: https://doi.org/10.1007/3-540-61511-3_86
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61511-8
Online ISBN: 978-3-540-68687-3
eBook Packages: Springer Book Archive