Skip to main content
SpringerLink
Log in
Book cover

International Conference on Automated Deduction

CADE 1996: Automated Deduction — Cade-13 pp 235–239Cite as

An introduction to geometry expert

  • Session 3B
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1104))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. C. Chou, Mechanical Geometry Theorem Proving, D.Reidel Publishing Company, Dordrecht, Netherlands, 1988.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. S. C. Chou, X. S. Gao, & J. Z. Zhang, Machine Proofs in Geometry, World Scientific, Singapore, 1994.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. D. Kapur, Geometry Theorem Proving Using Hilbert's Nullstellensatz, Proc. of SYMSAC'86, Waterloo, 1986, 202–208.

    Google Scholar 

  6. B. Kutzler & S. Stifter, Automated Geometry Theorem Proving Using Buchberger's Algorithm, Proc. of SYMSAC'86, Waterloo, 1986, 209–214.

    Google Scholar 

  7. Wu Wen-tsün, Basic Principles of Mechanical Theorem Proving in Geometries, Volume I: Part of Elementary Geometries, Science Press, Beijing (in Chinese), 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, The Wichita State University, 67260-0083, Wichita, KS, USA

    Shang-Ching Chou, Xiao-Shan Gao & Jing-Zhong Zhang

Authors
  1. Shang-Ching Chou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xiao-Shan Gao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jing-Zhong Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. A. McRobbie J. K. Slaney

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation