[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59 
 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

310(1): 2025/12/12(金)15:50 ID:1CmfsJhS(5/5) AAS
パーフェクトイド空間

バザード、コメリン、マソット著

パーフェクトイド空間は2012年にピーター・ショルツによって導入された、数論幾何学における洗練された対象である。
我々はLean定理証明器でパーフェクトイド空間を定義するのに十分な.位相幾何学.代数学.幾何学における定義と定理を形式化した。
この実験は、証明支援システムが単純な対象に関する長い証明を形式化することとはかなり異なる、その方向性の複雑さを扱うことができることを確認している

---

313: 2025/12/13(土)23:09 ID:4kLpryDW(1) AAS
>>310
位相空間はどう定義するんだろ
O∈2^2^X∧X∈O∧φ∈O∧∀U,V∈O(U∩V∈O)∧∀P⊂O(∪P∈O)
かな
でもいちいちここに戻るのって大変そう

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.071s