Foreword | |
Preface | |
The Theory of Machine Proof | |
Geometry Preliminaries | p. 1 |
The Area Method | p. 51 |
Machine Proof in Plane Geometry | p. 101 |
Machine Proof in Solid Geometry | p. 167 |
Vectors and Machine Proofs | p. 217 |
Topics From Geometry: A Collection of 400 Mechanically Proved Theorems | |
Topics From Geometry | p. 255 |
Bibliography | p. 445 |
List of Symbols | p. 455 |
Index | p. 457 |
Table of Contents provided by Blackwell. All Rights Reserved. |