広告
広告Otter - - 自動定理証明ソフト
メインページ | http://www.cs.unm.edu/~mccune/otter/ | |
参考ページ1 | http:// | |
参考ページ2 | http:// | |
概要 | 自動定理証明ソフト | |
カテゴリ | [科学・技術/数学・統計学 ] | |
関連ソフト | -- | |
検索 | OtterをGoogleで検索 | |
ライセンス | フリー | |
Debianパッケージ | 検索 , | |
Ubuntuパッケージ | 検索 , | |
RPMパッケージ | 検索 , | |
FreeBSD Ports | 検索 , | |
登録日 | 2008-4-28以前 |
説明
米国ANL(アルゴンヌ国立研究所)で開発された高性能自動定理証明システム。