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

ISBN-13: 9789810215842 / Angielski / Twarda / 1994 / 480 str.

Shang-Ching Chou; China) X.-S. Gao (Science Academy; China) J.-Z. Zhang (Science Academy

Opis

This book begins by introducing the area method, and recent results in automating the area method. It can either be used as a geometry text for students and geometers, or be regarded as a monograph on machine proofs in geometry. By automating the area method, this book presents a systematic way of proving geometry theorems using traditional methods. The authors aim to make learning and teaching geometry easier through this book.