Advertisement

An introduction to geometry expert

  • Shang-Ching Chou
  • Xiao-Shan Gao
  • Jing-Zhong Zhang
Session 3B
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1104)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    S. C. Chou, Mechanical Geometry Theorem Proving, D.Reidel Publishing Company, Dordrecht, Netherlands, 1988.Google Scholar
  2. 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. 3.
    S. C. Chou, X. S. Gao, & J. Z. Zhang, Machine Proofs in Geometry, World Scientific, Singapore, 1994.Google Scholar
  4. 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. 5.
    D. Kapur, Geometry Theorem Proving Using Hilbert's Nullstellensatz, Proc. of SYMSAC'86, Waterloo, 1986, 202–208.Google Scholar
  6. 6.
    B. Kutzler & S. Stifter, Automated Geometry Theorem Proving Using Buchberger's Algorithm, Proc. of SYMSAC'86, Waterloo, 1986, 209–214.Google Scholar
  7. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Shang-Ching Chou
    • 1
  • Xiao-Shan Gao
    • 1
  • Jing-Zhong Zhang
    • 1
  1. 1.Department of Computer ScienceThe Wichita State UniversityWichitaUSA

Personalised recommendations