Mathematical Reasoning with Diagrams - Center for the Study of Language and Information Publication Lecture Notes (Hardback)Mateja Jamnik (author)
Hardback 200 Pages / Published: 04/02/2002
- We can order this
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.
Publisher: Centre for the Study of Language & Information
Number of pages: 200
Weight: 412 g
Dimensions: 236 x 180 x 17 mm
You may also be interested in...
£9.99Mixed media product
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at