## Shang-Ching Chou

*GEO-Prover — A Geometry Theorem Prover Developed at UT*

CADE, 1986.

@inproceedings{CADE-1986-Chou, author = "Shang-Ching Chou", booktitle = "{Proceedings of the Eighth International Conference on Automated Deduction}", doi = "10.1007/3-540-16780-3_134", isbn = "3-540-16780-3", pages = "679--680", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{GEO-Prover — A Geometry Theorem Prover Developed at UT}", volume = 230, year = 1986, }