Distributed for the Center for the Study of Language and Information
Mathematical Reasoning with Diagrams
Cloth $65.00
ISBN: 9781575863238
Published November 2001
Paper $27.00
ISBN: 9781575863245
Published November 2001
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.
| 
Shopping Cart
![[jacket image]](http://www.press.uchicago.edu/Images/Chicago/1575863243.jpeg
)
![[Add to cart]](http://www.press.uchicago.edu/Images/cart_add.gif)
Questions about this title? email