ISBN: 1575863243 9781575863245

Category: Mathematics / Advanced

Page count: 204

Mathematicians at every level use diagrams to prove theorems. <i>Mathematical Reasoning with Diagrams</i> 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.