Linux用のGeoProof

プロジェクトは、幾何学用の対話型プルーフソフトウェアを作成することからなる。
今すぐダウンロード

Linux用のGeoProof ランキングとまとめ

広告

  • Rating:
  • ライセンス:
  • Freeware
  • 出版社名:
  • Julien Narboux
  • 出版社のWebサイト:
  • オペレーティングシステム:
  • Linux
  • ファイルサイズ:
  • 25.19MB

Linux用のGeoProof タグ


Linux用のGeoProof 説明

このプログラムは、証明関連機能を備えた対話型ジオメトリソフトウェアです。 プロジェクトは、幾何学用の対話型プルーフソフトウェアを作成することからなる。 GeoProofは、ジオメトリ定理の自動および対話型の証明を実行するために、COQプルーフアシスタントと通信できます。 GeoProof for Linux は、NicolasFranoisによって開始されたDrgeocamlというプロジェクトからJulien Narbouxによって開発されています。 特徴 詳細な機能リスト： 幾何学的オブジェクトのタイプ：点、線、円、ベクトルとセグメント -Three変換：中心対称、翻訳、および軸対称点数を構築するための9つの方法 行を構築する方法 丸を築く方法 -textラベルは、次のようになる可能性があります。 -AUTOMATED定理を証明する


Linux用のGeoProof 関連ソフトウェア

私たちに関しては