Automatic Theorem Proving, Computers / Computer Science, Mathematics / Geometry / Algebraic, Mathematics / Geometry / Differential
Wu's method
'This work is, in my opinion, completely revolutionary. I believe that, by itself, the book will convince any mathematician in the world that the automation of mathematical reasoning is a profound and rewarding enterprise of extraordinary potential.' Robert S. Boyer