Mathematical Reasoning with Diagrams

✍ Scribed by Mateja Jamnik

• Publisher: Center for the Study of Language and Inf
• Year: 2001
• Tongue: English
• Leaves: 218
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Cover
Contents
Foreword
Preface
1. Introduction
2. The History of Diagrammic Systems
3. Diagrammatic Theorems and the Problem Domain
4. The Constructive w-Rule and Schematic Proofs
5. Designing a Diagrammatic Reasoning System
6. Diagrammatic Operations
7. The Construction of Schematic Proofs
8. The Verification of Schematic Proofs
9. DIAMOND in Action
10. Complete Automation
Appendix A: More Examples of Diagrammatic Theorems
Appendix B: The w-Rule
Glossary
References
Index
Back Cover