Cloth $65.00 ISBN: 9781575863238 Published November 2001
Paper $27.00 ISBN: 9781575863245 Published November 2001

Mathematical Reasoning with Diagrams

Mateja Jamnik

Mathematical Reasoning with Diagrams
Bookmark and Share

Mateja Jamnik

Distributed for Center for the Study of Language and Information

200 pages | 6 x 9 | © 2001
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.
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