This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for th

This volume completes the English adaptation of a classical Russian textbook in elementary Euclidean geometry. The 1st volume subtitled "Book I. Planimetry" was

This single-volume compilation of 2 books explores the construction of geometric proofs. It offers useful criteria for determining correctness and presents exam

This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the computational courses (such as calculus or diffe

An instant New York Times Bestseller! “Unreasonably entertaining . . . reveals how geometric thinking can allow for everything from fairer American elections