Mathlog
アカウント
アカウント作成
ログイン
その他
ヘルプ
利用規約
意見箱
@5T_justAknife
ごておばけ👻
11
258
Follow
4
Followers
4
Traces
1
Follow
4
Followers
4
Traces
1
帰納極限に襲われています 助けてください
!?
未登録
5T_justAknife
高評価数順
新着順
3
Articles
3
Goods
解説
by
ごておばけ👻
at
13日前
青雪江1.4節の例題(アイツ)を直感的に理解する
代数学
,
環論
,
ガウス整数
102
10
文献あり
解説
by
ごておばけ👻
at
14日前
距離化不可能な位相で入門(?)する距離空間
位相空間論
,
距離空間
,
距離化可能
75
1
文献あり
解説
by
ごておばけ👻
at
20日前
多項式関数を0における微分係数で展開する
代数学
,
微分
,
多項式
81
0
文献あり
Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
Promoted by Amazon
Noncommutative algebraic geometry and representations of quantized algebras
Promoted by Amazon
Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
Promoted by Amazon
Noncommutative algebraic geometry and representations of quantized algebras
Promoted by Amazon