Ｃｏｑ／ＳＳＲｅｆｌｅｃｔ／ＭａｔｈＣｏｍｐによる定理証明 フリーソフトではじめる数学の形式化
| 出版社名 | 森北出版 |
|---|---|
| 出版年月 | 2018年4月 |
| ISBNコード |
978-4-627-06241-2
（4-627-06241-9） |
| 税込価格 | 3,520円 |
| 頁数・縦 | ２１１Ｐ ２２ｃｍ |
商品内容
| 要旨 |
「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。 |
|---|---|
| 目次 |
第１章 Ｃｏｑ／ＳＳＲｅｆｌｅｃｔ／ＭａｔｈＣｏｍｐとは |