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: | 9781575863238 |
| Publication date: | 4th February 2002 |
| Author: | Mateja Jamnik |
| Publisher: | CSLI Publications an imprint of Center for the Study of Language and Inf |
| Format: | Hardback |
| Pagination: | 204 pages |
| Series: | CSLI Lecture Notes |
| Genres: |
Mathematical foundations |
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.
Mathematical Reasoning With Diagrams features in the following genres: Mathematical foundations
Hardback. Not Available.
Mathematical Reasoning With Diagrams was written by Mateja Jamnik and published by CSLI Publications an imprint of Center for the Study of Language and Inf
Mathematical Reasoning With Diagrams has 204 pages
Yes it is part of CSLI Lecture Notes series