メインコンテンツへスキップ
#CFBRC
関連タグ
#FLT (
74
)
#Lean4 (
296
)
#宇宙式 (
130
)
#複素演算 (
4
)
#HOPC (
6
)
#RH (
40
)
人気
急上昇
新着
すべての記事
有料の記事
すべての記事
7件
人気の記事一覧
魔法数学: リーマン予想 進展あり！？？
D.
6日前
D.
6日前
つぶやき: Lean4: やば（笑）解らん🤣 dkmath のすうがく
D.
1か月前
D.
1か月前
Lean4: 日記: CFBRC - Cosmic Formula Binomial Real Complex の形式化に着手
D.
5か月前
D.
5か月前
Lean4: DkMath: main ブランチ更新！
D.
5か月前
D.
5か月前
Lean4: nightly: 更新 CFBRC 追加
D.
5か月前
D.
5か月前
📜論文: 複素冪の多項式化と実軸交差（位相ロック候補）の安定抽出 CFBRC
D.
6か月前
D.
6か月前
Lean4: DkMath nightly 更新 RH+CFBRC (HOPC-RH)
D.
5か月前
D.
5か月前
✕
