 | ジオプロのGeoProofプロジェクトは、証明関連機能を備えた動的ジオメトリアプリケーションです。 |
| 今すぐダウンロード | |
ジオプロの ランキングとまとめ
広告
ジオプロの タグ
ジオプロの 説明
GeoProofプロジェクトは、証明関連機能を備えた動的なジオメトリアプリケーションです。 GeoProofプロジェクトは、証明関連機能を備えた動的なジオメトリアプリケーションです。プロジェクトは、TheOmetry.Geoproofのためのインタラクティブプルーフソフトウェアを作成することからなるプロジェクトは、COQプルーフアシスタントと通信することができます。ジオメトリ定理の自動と対話式の証明を実行します。 Geoproofは、主にNicolas Franoisによって開始されたDrgeocamlというプロジェクトからJulien Narbouxによって開発されています。 "geoproof"の主な機能は次のとおりです。 ・Jean-Christophe Fillitreによるクリール・ライブラリーのおかげで、任意の精度を使用して計算が行われます。 ・John Harrisonによって実装された自動定理証明方法を使用して、定理の中にはある程度の定理をチェックすることができます。 ・GeoProofはCOQIDEと通信できます（COQのユーザーインターフェース）。ユーザーはGeoProofを使用して構築することができ、対応する式は自動的にCOQの構文に変換されます。
ジオプロの 関連ソフトウェア
