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.