Machine proofs in geometry
Subtitle: automated production of readable proofs for geometry theorems
By: Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang.
Contributors: Gao, Xiao-shan.; Chang, Ching-chung, 1936-
Series: Series on applied mathematics ;; v. 6
Publisher: World Scientific
Published: 1994
Place of publication: Singapore; New Jersey
Language: eng
Number of pages: 461
Subjects: Axioms -- Data processing.; Automatic theorem proving.
Notes: Includes bibliographical references (p. 445-454) and index.