GEO-prover — A geometry theorem prover developed at UT

  • Shang-Ching Chou
Extended Abstracts Of Current Deduction Systems

DOI: 10.1007/3-540-16780-3_134

Volume 230 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
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

Copyright information

© Springer-Verlag 1986

Authors and Affiliations

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