Mathematical reasoning with diagrams : from intuition to automation (Book, 2001) []
skip to content
Mathematical reasoning with diagrams : from intuition to automation Preview this item
ClosePreview this item

Mathematical reasoning with diagrams : from intuition to automation

Author: Mateja Jamnik
Publisher: Stanford, Calif. : CSLI, ©2001.
Series: CSLI lecture notes, no. 127.
Edition/Format:   Print book : EnglishView all editions and formats

Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a  Read more...


(not yet rated) 0 with reviews - Be the first.

More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...


Genre/Form: Charts, diagrams, etc
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Mateja Jamnik
ISBN: 1575863235 9781575863238 1575863243 9781575863245
OCLC Number: 48221379
Description: xii, 204 pages : illustrations ; 24 cm.
Contents: 1. Introduction --
2. The History of Diagrammatic Systems --
3. Diagrammatic Theorems and the Problem Domain --
4. The Constructive [omega]-Rule and Schematic Proofs --
5. Designing a Diagrammatic Reasoning System --
6. Diagrammatic Operations --
7. The Construction of Schematic Proofs --
8. The Verification of Schematic Proofs --
9. DIAMOND in Action --
10. Complete Automation --
App. A. More Examples of Diagrammatic Theorems --
App. B. The [omega]-Rule.
Series Title: CSLI lecture notes, no. 127.
Responsibility: Mateja Jamnik.
More information:


User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...


Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.