Mathematical Reasoning With Diagrams From Intuition to Automation - CSLI Lecture Notes
1
Hardback (04 Feb 2002)
Not available for sale
Includes delivery to the United States
Out of stock
Other formats/editions
Check stock
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.
Book information
ISBN: | 9781575863238 |
Publisher: | Center for the Study of Language and Inf |
Imprint: | CSLI Publications |
Pub date: | 04 Feb 2002 |
Edition: | 1 |
DEWEY: | 511.3 |
DEWEY edition: | 21 |
Language: | English |
Number of pages: | 204 |
Weight: | 406g |
Height: | 23mm |
Width: | 15mm |
Spine width: | 2mm |