Chou, S.C.
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems - Singapore World Scientific 1994 - xvii, 461p. - Series on Applied Mathematics Vol-6 .
978-981-02-1584-3
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems - Singapore World Scientific 1994 - xvii, 461p. - Series on Applied Mathematics Vol-6 .
978-981-02-1584-3