Mathematical Reasoning with Diagrams |
|
Author:
| Jamnik, Mateja |
Series title: | Lecture Notes Ser. |
ISBN: | 978-1-57586-323-8 |
Publication Date: | Nov 2001 |
Publisher: | CSLI Publications/Center for the Study of Language & Information
|
Book Format: | Hardback |
List Price: | AUD $107.95 |
Book Description:
|
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.
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.