Mathematical Reasoning with Diagrams

by Mateja Jamnik

Overview

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.

Product Details

ISBN-13:	9781684000098
Publisher:	CSLI
Publication date:	01/15/2017
Series:	Lecture Notes , #127
Sold by:	Barnes & Noble
Format:	eBook
Pages:	200
File size:	1 MB

About the Author

Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.

Table of Contents

Cover Contents Foreword Preface 1. Intoduction 2. The History of Diagrammatic 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