| Mathematical Reasoning with Diagrams, Volume 127 Contributor(s): Jamnik, Mateja (Author) |
|
 |
ISBN: 1575863243 ISBN-13: 9781575863245 Publisher: Center for the Study of Language and Informat OUR PRICE: $26.73 Product Type: Paperback - Other Formats Published: November 2001 Annotation: 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. |
| Additional Information |
| BISAC Categories: - Mathematics | Logic |
| Dewey: 511.3 |
| LCCN: 2001047923 |
| Series: Lecture Notes |
| Physical Information: 0.47" H x 6.08" W x 9.02" (0.68 lbs) 200 pages |
| Descriptions, Reviews, Etc. |
| Publisher 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. |