Items related to Mathematical Reasoning with Diagrams: Volume 127 (Lecture...
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.
"About this title" may belong to another edition of this title.
- PublisherCenter for the Study of Language and Information
- Publication date2002
- ISBN 10 1575863235
- ISBN 13 9781575863238
- BindingHardcover
- LanguageEnglish
- Number of pages200
Buy New
View this item
£ 12.56
£ 13.33 shipping from U.S.A. to United Kingdom
Destination, rates & speeds
Search results for Mathematical Reasoning with Diagrams: Volume 127 (Lecture...
Stock Image
Mathematical Reasoning with Diagrams
Published by
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863235
ISBN 13: 9781575863238
New
Hardcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. 200 pp., Hardcover, new. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1272392
Quantity: 1 available
Stock Image
Mathematical Reasoning with Diagrams
Published by
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863235
ISBN 13: 9781575863238
New
Hardcover
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: New. New. book. Seller Inventory # D8S0-3-M-1575863235-6
Quantity: 1 available
Stock Image
Mathematical Reasoning with Diagrams Format: Hardcover
Published by
University of Chicago press, 2001
ISBN 10: 1575863235
ISBN 13: 9781575863238
New
Hardcover
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New. Seller Inventory # 9781575863238
Quantity: Over 20 available
Seller Image
MATHEMATICAL REASONING W/DIAGR
Published by
CTR FOR STUDY OF LANG & INFO, 2001
ISBN 10: 1575863235
ISBN 13: 9781575863238
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. KlappentextMathematicians 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 off. Seller Inventory # 867691400
Quantity: Over 20 available