複素解析2at MATH
複素解析2 - 暇つぶし2ch738:１３２人目の素数さん
23/01/13 12:59:32.69 22h15Q8H.net
コンピュータに証明できること・できないこと
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
ケプラー予想はコンピュータ支援で証明された。あくまでも支援レベルｗ

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