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