新規作成
オイラーの定数
2
Contributors
0
Followers
ホーム
記事
本
人気の記事
大学数学基礎
解説
J_Koizumi
2021年3月21日
πとlog(n)の無理性
無理数
,
円周率
13
0
972
0
現代数学
解説
microsupport
2021年3月13日
【超局所層理論第1回】層のマイクロ台の定義と例
代数解析
,
層理論
,
超局所層理論
7
0
1528
0
文献あり
大学数学基礎
解説
knewknowl
2021年2月16日
駆け足で学ぶエクスパンダーグラフ
組合せ論
,
グラフ理論
,
線形代数
8
0
3063
1
文献あり
4
4
大学数学基礎
解説
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学
,
形式的証明
,
Coq
17
0
2341
1
5
5
大学数学基礎
解説
bd
2020年12月17日
位数100までの群の分類(の準備)
代数学
,
有限群論
,
群論
16
0
3327
0
文献あり
6
6
現代数学
解説
microsupport
2020年11月11日
佐藤超函数としてのデルタ関数
複素解析
,
正則関数
,
代数解析
26
0
3618
0
7
7
大学数学基礎
解説
HiroshiHamada
2020年11月9日
自由エネルギーにかんするノート
自由エネルギー
,
WBIC
3
0
1206
0
8
8
大学数学基礎
解説
spectrum
2020年11月7日
分配束について
束
3
0
1343
0
9
9
大学数学基礎
解説
Alwe
2020年11月7日
強制法によるCantorの定理の証明
集合論
,
強制法
,
Cantorの定理
22
0
1684
2
新着の記事
大学数学基礎
解説
J_Koizumi
2021年3月21日
πとlog(n)の無理性
無理数
,
円周率
13
0
972
0
現代数学
解説
microsupport
2021年3月13日
【超局所層理論第1回】層のマイクロ台の定義と例
代数解析
,
層理論
,
超局所層理論
7
0
1528
0
文献あり
大学数学基礎
解説
knewknowl
2021年2月16日
駆け足で学ぶエクスパンダーグラフ
組合せ論
,
グラフ理論
,
線形代数
8
0
3063
1
文献あり
大学数学基礎
解説
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学
,
形式的証明
,
Coq
17
0
2341
1
大学数学基礎
解説
bd
2020年12月17日
位数100までの群の分類(の準備)
代数学
,
有限群論
,
群論
16
0
3327
0
文献あり
現代数学
解説
microsupport
2020年11月11日
佐藤超函数としてのデルタ関数
複素解析
,
正則関数
,
代数解析
26
0
3618
0
大学数学基礎
解説
HiroshiHamada
2020年11月9日
自由エネルギーにかんするノート
自由エネルギー
,
WBIC
3
0
1206
0
大学数学基礎
解説
spectrum
2020年11月7日
分配束について
束
3
0
1343
0
大学数学基礎
解説
Alwe
2020年11月7日
強制法によるCantorの定理の証明
集合論
,
強制法
,
Cantorの定理
22
0
1684
2