Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化
著者
書誌事項
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化
森北出版, 2018.4
- タイトル別名
-
CoqSsreflectMathCompによる定理証明 : フリーソフトではじめる数学の形式化
- タイトル読み
-
Coq/Ssreflect/Mathcomp ニヨル テイリ ショウメイ : フリーソフト デ ハジメル スウガク ノ ケイシキカ
大学図書館所蔵 件 / 全92件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
背に0624の表記あり
内容説明・目次
内容説明
「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。
目次
- 第１章 Ｃｏｑ／ＳＳＲｅｆｌｅｃｔ／ＭａｔｈＣｏｍｐとは
- 第２章 使ってみよう
- 第３章 命令
- 第４章 ＭａｔｈＣｏｍｐライブラリの基本ファイル
- 第５章 集合の形式化
- 第６章 代数学の形式化
- 第７章 確率論と情報理論の形式化
「BOOKデータベース」 より