Mathematical Reasoning With Diagrams From Intuition to Automation - Lecture Notes
Paperback (04 Feb 2002)
Save $1.21
RRP $29.54- $28.33
Includes delivery to the United States
1 copy available online - Usually dispatched within two working days
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: | 9781575863245 |
Publisher: | Center for the Study of Language and Inf |
Imprint: | CSLI Publications |
Pub date: | 04 Feb 2002 |
DEWEY: | 511.3 |
DEWEY edition: | 21 |
Language: | English |
Number of pages: | 204 |
Weight: | 312g |
Height: | 23mm |
Width: | 15mm |
Spine width: | 1mm |