トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0073
132人目の素数さん
2005/09/12(月) 18:54:43
>>71
その昔のひとが得た結果の組み合わせの数だって膨大。
それを、しらみつぶしに調べてるわけない。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています