GEO-prover — A geometry theorem prover developed at UT

  • Shang-Ching Chou
Extended Abstracts Of Current Deduction Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)

References

  1. [1]
    K.B. Taylor, “Three Circles with Collinear Centers”, American Mathematical Monthly 90 (1983), 486–487.Google Scholar
  2. [2]
    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.Google Scholar
  3. [3]
    S.C. Chou, “A Method for Mechanical Derivation of Formulas in Elementary Geometry”, February 1986, submitted to Journal of Automated Reasoning.Google Scholar
  4. [4]
    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.Google Scholar
  5. [5]
    S.C. Chou and W.F. Schelter, “Proving Geometry Theorems with Rewrite Rules”, Preprint, December 1985.Google Scholar
  6. [6]
    Wu Wen-tsün, “On the Decision Problem and the Mechanization of Theorem Proving in Elementary Geometry”, Scientia Sinica 21 (1978), 157–179.Google Scholar
  7. [7]
    Wu Wen-tsün, Basic Principles of Mechanical Theorem Proving In Geometries, (in Chinese) Peking 1984.Google Scholar

Copyright information

© Springer-Verlag 1986

Authors and Affiliations

  • Shang-Ching Chou
    • 1
  1. 1.ICSCAUniversity of Texas at AustinAustinUSA

Personalised recommendations