コンピューターによる定理の自動証明 at MATH
[2ch|▼Menu]
16:132人目の素数さん
05/09/08 01:31:06
>>15
たしか、二等辺三角形がどうたらってやつだった
四色問題は異論があるから微妙じゃない?


次ページ
続きを表示
1を表示
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch

5499日前に更新/151 KB
担当:undef