ペンギンの杜

• 追加された行はこの色 です。
• 削除された行はこの色 です。
• soft/Otter へ行く。

**[[Otter>soft/Otter]] [#f68d9763]

|メインページ| http://www.cs.unm.edu/~mccune/otter/|

|参考ページ1| http://|

|参考ページ2| http://|

|ライセンス|フリー|

|カテゴリ|[[[科学・技術/数学・統計学>category/科学・技術/数学・統計学]]]|

|概要|自動定理証明ソフト|


***説明 [#va50a81b]

米国ANL(アルゴンヌ国立研究所)で開発された高性能自動定理証明システム。



----

***コメント [#h3aae9ee]

#comment(above)