Book: Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
Author: Wen-tsun
Pages: 432
Format: Djvu
Language: English
ISBN10: 079235835X
A collection of essays centered around mathematical mechanization, dealing with mathematics in an algorithmic and constructive manner, with the aim of developing mechanical, automated reasoning. Discusses historical developments, underlying principles, and features applications and examples.
No comments:
Post a Comment