Book of Donmon Teith

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

There seems to be no doubt that geometry originates from such practical activ ities as weather observation and terrain survey. But there are different manners,

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