Can I read Mathematical Reasoning with Diagrams : from Intuition to Automation on EtoBox?

Mathematical Reasoning with Diagrams : from Intuition to Automation by Jamnik, Mateja, 1973- is a book available to read on EtoBox.

What is Mathematical Reasoning with Diagrams : from Intuition to Automation about?

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. Mateja Jamnik. Includes Bibliographical References (p. 190-198) And Index.

Author

Jamnik, Mateja, 1973-

Publisher

CSLI; Center for the Study of Language and Inf

Published

2001

Language

EN

ISBN

9781575863238

Subjects

Mathematics, Stem