Mathematical Reasoning with Diagrams
Distributed for Center for the Study of Language and Information
200 pages
|
6 x 9
|
© 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
You may purchase this title at these fine bookstores. Outside the USA, see our international sales information.
