Mathematical Reasoning With Diagrams : From Intuition to Automation
Jamnik, Mateja
ISBN 10: 1575863243 ISBN 13: 9781575863245
Published by Center for the Study of Language and Inf, 2001
New
Soft cover
From
GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since January 28, 2020
This specific item is no longer available.
About this Item
Description:
Seller Inventory # 868702-n
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.
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.
Bibliographic Details
Title: Mathematical Reasoning With Diagrams : From ...
Publisher: Center for the Study of Language and Inf
Publication Date: 2001
Binding: Soft cover
Condition: New