1 option
Mathematical reasoning with diagrams : from intuition to automation / Mateja Jamnik.
- Format:
- Book
- Author/Creator:
- Jamnik, Mateja, 1973-
- Series:
- CSLI lecture notes ; no. 127.
- CSLI lecture notes ; no. 127
- Language:
- English
- Subjects (All):
- Mathematics--Charts, diagrams, etc.
- Mathematics.
- Logic, Symbolic and mathematical.
- Automatic theorem proving.
- Genre:
- Charts, diagrams, etc.
- Graphs.
- Physical Description:
- xii, 204 pages : illustrations ; 24 cm.
- Place of Publication:
- Stanford, Calif. : CSLI, [2001]
- Summary:
- 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 semiautomatic formal proof system -- called Diamond -- which allows users to prove arithmetical theorems using diagrams.
- Notes:
- Includes bibliographical references (pages 190-198) and index.
- ISBN:
- 1575863235
- 1575863243
- OCLC:
- 48221379
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.