Mathematical Reasoning With Diagrams : From Intuition to Automation
Jamnik, Mateja
ISBN 10: 1575863235 ISBN 13: 9781575863238
Published by Center for the Study of Language and Inf, 2001
New
Hardcover
From
GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since April 6, 2009
This specific item is no longer available.
About this Item
Description:
Seller Inventory # 541069-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: Hardcover
Condition: New