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.
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