Mathematical reasoning with diagrams : from intuition to automation
著者
書誌事項
Mathematical reasoning with diagrams : from intuition to automation
(CSLI lecture notes, no. 127)
CSLI Publications, Center for the Study of Language and Information, c2001
- : pbk
- : cloth
並立書誌 全1件
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 190-198
Includes index
内容説明・目次
- 巻冊次
-
: cloth ISBN 9781575863238
内容説明
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.
- 巻冊次
-
: pbk ISBN 9781575863245
内容説明
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」 より