Faithin Omaha eBook Collection

This book is a translation of Professor Wu’s seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former stude

Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the pro

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 book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three ma

This book is a collection of surveys and exploratory articles about recent developments in the field of computational Euclidean geometry. Topics covered include