00613nam a2200157Ia 4500 260825b |||||||| |||| 00| 0 eng d 516 C552.MP Chou, Shang-Ching 25717 Machine proofs in geometry ; automated production of readable proofs for geometry theorems / Singapore: World Scientific, 1994 xiii, 461p. Index. Bibl. Series on Applied Mathematics ; 6 25718 Gao, Xiao-Shan author. 25719 Zhang, Jing-Zhong author. 25720 ddc BK 0 0 0 516_000000000000000_C552_MP 0 14725 ISI ISI 1998-09-18 0 516 C552.MP DP22448 2019-02-14 00:00:00 BK 12047 12047