Mathematical Reasoning with Diagrams

Know about the book -

Mathematical Reasoning with Diagrams is written by Mateja Jamnik and published by Stanford Univ Center for the Study. It's available with International Standard Book Number or ISBN identification 1575863235 (ISBN 10) and 9781575863238 (ISBN 13).

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.