Mathematical reasoning with diagrams : from intuition to automation
著者
書誌事項
Mathematical reasoning with diagrams : from intuition to automation
CSLI Publications, Center for the Study of Language and Information, c2001
- : cloth
- タイトル別名
-
CSLI lecture notes
並立書誌 全1件
大学図書館所蔵 全1件
注記
Series title on CIP data: CSLI lecture notes
Bibliography: p. 190-198
Includes index
内容説明・目次
内容説明
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.
「Nielsen BookData」 より