Mathematical Reasoning with Diagrams
Format:Hardback
Publisher:Centre for the Study of Language & Information
Published:4th Feb '02
Currently unavailable, and unfortunately no date known when it will be back
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.
ISBN: 9781575863238
Dimensions: 23mm x 15mm x 2mm
Weight: 425g
200 pages