Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems

By Shang-Ching Chou and Xiaoshan Gao

This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 9810215843
• ISBN13: 9789810215842
• Release Date: April 1994
• Publisher: World Scientific Publishing Company
• Length: 480 Pages