Mathematical Reasoning with Diagrams: Volume 127

By 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: Hardcover
• Language: English
• ISBN: 1575863235
• ISBN13: 9781575863238
• Release Date: December 2001
• Publisher: Center for the Study of Language and Informat
• Length: 200 Pages
• Weight: 0.92 lbs.
• Dimensions: 0.7" x 6.3" x 9.3"