An application of knowledge-base technology in education: a geometry theorem prover.

Mirsad Hadzikadic, Franz Lichtenberger, David Y. Y. Yun

Browse the full ISSAC paper archive.