GEO-prover — A geometry theorem prover developed at UT

1. K.B. Taylor, “Three Circles with Collinear Centers”, American Mathematical Monthly 90 (1983), 486–487.

   Google Scholar 

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. S.C. Chou, “A Method for Mechanical Derivation of Formulas in Elementary Geometry”, February 1986, submitted to Journal of Automated Reasoning.

   Google Scholar 

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. S.C. Chou and W.F. Schelter, “Proving Geometry Theorems with Rewrite Rules”, Preprint, December 1985.

   Google Scholar 

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. Wu Wen-tsün, Basic Principles of Mechanical Theorem Proving In Geometries, (in Chinese) Peking 1984.

   Google Scholar 

Download references