[過去ﾛｸﾞ] Interuniversal geometry とABC 予想60
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
793(2): 07/04(土)22:36 ID:dK5Cl3wq(1/2) AAS
第2の目的が主要目的なのでは？
＞本プロジェクトの目的は二つです。ひとつは日本の研究者の貢献が著しい遠アーベル幾何学の主要定理をLean形式化し、そのライブラリを構築することです。
＞もう一つは京都大学数理解析研究所の望月新一教授による宇宙際タイヒミュラー理論の、Lean形式化による検証です。
＞この理論については、未だ世界の数学者からの納得感が得られないままの状況です。したがってその検証自体が、数学の発展にとって意義深いはずです。
799: 07/05(日)12:10 ID:oc7qXpi0(1/5) AAS
>>798
やっぱそうなのね>>793
>第2の目的が主要目的なのでは？
＞Computer-Assisted Verification of IUT Theory
802: 07/05(日)12:31 ID:oc7qXpi0(3/5) AAS
>>793
>第2の目的が主要目的なのでは？
英語ではどっちも
＞ Its primary objectives are
だね第1第2と番号付けては居ない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.247s*