Mathematical Reasoning with Diagrams: Volume 127

by Jamnik and Mateja Jamnik

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.

• Format: Paperback
• Language: English
• ISBN: 1575863243
• ISBN13: 9781575863245
• Release Date: November 2001
• Publisher: Center for the Study of Language and Informat
• Length: 200 Pages
• Weight: 0.68 lbs.
• Dimensions: 0.5" x 6.1" x 9.0"