新規作成
梅崎直也
68
19862
数学が好きです。
98
Followers
7
Follow
ホーム
記事
13
本
0
高評価
全てのカテゴリ
作成日順
評価順
大学数学基礎
解説
J_Koizumi
2021年3月21日
πとlog(n)の無理性
無理数
,
円周率
9
0
408
0
現代数学
解説
microsupport
2021年3月13日
【超局所層理論第1回】層のマイクロ台の定義と例
代数解析
,
層理論
,
超局所層理論
6
0
1080
0
文献あり
大学数学基礎
解説
knewknowl
2021年2月16日
駆け足で学ぶエクスパンダーグラフ
組合せ論
,
グラフ理論
,
線形代数
6
0
2042
0
文献あり
大学数学基礎
解説
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学
,
形式的証明
,
Coq
17
0
1880
1
大学数学基礎
解説
bd
2020年12月17日
位数100までの群の分類(の準備)
代数学
,
有限群論
,
群論
11
0
2169
0
文献あり
現代数学
解説
microsupport
2020年11月11日
佐藤超函数としてのデルタ関数
複素解析
,
正則関数
,
代数解析
23
0
2496
0
大学数学基礎
解説
HiroshiHamada
2020年11月9日
自由エネルギーにかんするノート
自由エネルギー
,
WBIC
3
0
969
0
大学数学基礎
解説
spectrum
2020年11月7日
分配束について
束
3
0
928
0
大学数学基礎
解説
Alwe
2020年11月7日
強制法によるCantorの定理の証明
集合論
,
強制法
,
Cantorの定理
21
0
1104
2
読み込み中...
読み込み中