Computer Mathematics - Proceedings Of The Fourth Asian Symposium (Ascm 2000)

Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems