トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0005
132人目の素数さん
2005/09/07(水) 10:58:40
趣旨とは違うが、「A=B」のような方向はもう少し発展すべきだと思う。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています