Mathematical Reasoning with Diagrams
by Mateja Jamnik
CSLI, 2001
Cloth: 978-1-57586-323-8 | Paper: 978-1-57586-324-5 | eISBN: 978-1-68400-009-8
Library of Congress Classification QA90.J33 2001
Dewey Decimal Classification 511.3
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