トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0432
132人目の素数さん
2009/01/03(土) 18:49:58
そういえば数学板には数値解析のスレがないね
どっちかといえばシュミレーション板やプログラム板になるのかな
でも理論的なことを語るのに数学板にも一つぐらいあってもいいと思うんだが
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています