1189135
9789027726506
'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. BoyerShang-Ching Chou is the author of 'Mechanical Geometry Theorem Proving' with ISBN 9789027726506 and ISBN 9027726507.
[read more]