Back

Zoom Roll over image to zoom in

Ｃｏｑ／ＳＳＲｅｆｌｅｃｔ／ＭａｔｈＣｏｍｐによる定理証明－フリ−ソフトではじめる数学の形式化フリ−ソフトではじめる数学の形式化

萩原学
39.80 SGD
Member Price
35.82

Product Description

「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。

... Read Full Text

Unavailable

This product is currently out of stock. Please check back later.

Discount is applied at checkout.

Recently Viewed Items

Related Products