Shang Ching Chou

Mechanical Geometry Theorem Proving (Mathematics and Its Applications)  Shang-Ching Chou Paperback. Kluwer Academic Publishers, 2002-01-01 ISBN 9781402003301     Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Series on Applied Mathematics, Vol 6)  Shang-Ching Chou Xian-Shan Gao Jing-Zhong Zhang Hardcover. World Scientific Pub Co Inc, 1994-04-01 ISBN 9789810215842     Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems  Zhang Jing-Zhong Zhang Chou Shang-Ching Chou Gao Xiaoshan Gao eBook. World Scientific Publishing Company, 1994-04-06 ISBN 9789814502603