Chou,, Shang-Ching,, 1946-
Machine proofs in geometry : automated production of readable proofs for geometry theorems / Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
Machine proofs in geometry : automated production of readable proofs for geometry theorems / Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
. - Singapore : World Scientific, cop. 1994
. - XVII, 461 p. 23 cm
. - (Series applied mathematics; 6))
981-02-1584-3 (Encadernado)
514