Mathematical Reasoning with Diagrams
| Author | : Mateja Jamnik |
| Publisher | : Stanford Univ Center for the Study |
| Total Pages | : 204 |
| Release | : 2001-01 |
| ISBN-10 | : 1575863243 |
| ISBN-13 | : 9781575863245 |
| Rating | : 4/5 (43 Downloads) |
Book Synopsis Mathematical Reasoning with Diagrams by : Mateja Jamnik
Download or read book Mathematical Reasoning with Diagrams written by Mateja Jamnik and published by Stanford Univ Center for the Study. This book was released on 2001-01 with total page 204 pages. Available in PDF, EPUB and Kindle. Book excerpt: Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system—called Diamond—which allows users to prove arithmetical theorems using diagrams.
