Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems - Chou S-C Et Al (World Scientific, 1994)
Keywords: Mathematics