The authors have developed a method and implemented a computer program which, for the first time, produces short and readable proofs for hundreds of geometry theorems. The book begins with chapters ...