1189136
9781402003301
' 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. BoyerChou, Shang-Ching is the author of 'Mechanical Geometry Theorem Proving' with ISBN 9781402003301 and ISBN 1402003307.
[read more]