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