Front cover image for Machine proofs in geometry : automated production of readable proofs for geometry theorems

Machine proofs in geometry : automated production of readable proofs for geometry theorems

Introduces the area method and recent results in automating the area method. This book presents a systematic way of proving geometry theorems using traditional methods.
Print Book, English, ©1994
World Scientific, Singapore, ©1994
xvii, 461 pages : illustrations ; 23 cm.
9789810215842, 9810215843
29911314
pt. I. The Theory of Machine Proof. 1. Geometry Preliminaries. 2. The Area Method. 3. Machine Proof in Plane Geometry. 4. Machine Proof in Solid Geometry. 5. Vectors and Machine Proofs
pt. II. Topics From Geometry: A Collection of 400 Mechanically Proved Theorems. 6. Topics From Geometry