9789027726506
Mechanical Geometry Theorem Proving - Shang-Ching Chou
Springer Science & Business (1988)
In Collection
#7441

Read It:
Yes
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

Product Details
No. of Pages 379
Height x Width 250 x 160 mm