Mathematical Reasoning with Diagrams
Download or Read eBook Mathematical Reasoning with Diagrams PDF 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.
| 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
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.
