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.
| ISBN: | 9781575863245 |
| Publication date: | 1st November 2001 |
| Author: | Mateja Jamnik |
| Publisher: | Centre for the Study of Language & Information |
| Format: | Paperback |
| Pagination: | 200 pages |
| Series: | Lecture Notes |
| Genres: |
Mathematics |