トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0022
132人目の素数さん
2005/09/08(木) 16:45:14
「こういうときにはこの定理を用いる場合が多い」っつー傾向というのがありまして、
そういうメタ知識を用いると、かなりよくなります。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています