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:	9781575863245
Publisher:	Center for the Study of Language and Inf
Publication date:	11/01/2001
Series:	Lecture Notes , #127
Edition description:	1
Pages:	200
Product dimensions:	6.00(w) x 9.00(h) x 0.50(d)

About the Author

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