Mathematical Reasoning with Diagrams
Format:Hardback
Publisher:Centre for the Study of Language & Information
Published:4th Feb '02
Currently unavailable, our supplier has not provided us a restock date
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