Mathematical Reasoning with Diagrams
CSLI, 2001
eISBN: 978-1-68400-009-8 | Cloth: 978-1-57586-323-8 | Paper: 978-1-57586-324-5
Library of Congress Classification QA90.J33 2001
Dewey Decimal Classification 511.3
eISBN: 978-1-68400-009-8 | Cloth: 978-1-57586-323-8 | Paper: 978-1-57586-324-5
Library of Congress Classification QA90.J33 2001
Dewey Decimal Classification 511.3
ABOUT THIS BOOK | AUTHOR BIOGRAPHY | TOC
ABOUT THIS BOOK
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.
See other books on: Charts, diagrams, etc | Diagrams | Logic | Logic, Symbolic and mathematical | Mathematical Reasoning
See other titles from CSLI
