Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. K.B. Taylor, “Three Circles with Collinear Centers”, American Mathematical Monthly 90 (1983), 486–487.
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.
3. S.C. Chou, “A Method for Mechanical Derivation of Formulas in Elementary Geometry”, February 1986, submitted to Journal of Automated Reasoning.
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.
5. S.C. Chou and W.F. Schelter, “Proving Geometry Theorems with Rewrite Rules”, Preprint, December 1985.