Mathematical Reasoning with Diagrams

Mateja Jamnik

Mathematical Reasoning with Diagrams

Mateja Jamnik

Distributed for Center for the Study of Language and Information

200 pages | 6 x 9 | © 2001
Paper $27.00 ISBN: 9781575863245 Published November 2001
Cloth $65.00 ISBN: 9781575863238 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.
For more information, or to order this book, please visit http://www.press.uchicago.edu
Google preview here

Chicago Manual of Style |

RSS Feed

RSS feed of the latest books from Center for the Study of Language and Information. RSS Feed