梅崎直也
総高評価数
60
総閲覧数
13153
95
followers
7
follow
0
tags
数学が好きです。
95
followers
7
follow
0
tags
数学が好きです。
Home
Contents
Goods
記事
本
全てのカテゴリ
作成日順
高評価数順
解説
...
J_Koizumi
2021年3月21日
πとlog(n)の無理性
無理数
,
円周率
281
8
解説
...
microsupport
2021年3月13日
【超局所層理論第1回】層のマイクロ台の定義と例
代数解析
,
層理論
,
超局所層理論
809
6
文献あり
解説
...
knewknowl
2021年2月16日
駆け足で学ぶエクスパンダーグラフ
組合せ論
,
グラフ理論
,
線形代数
1364
6
文献あり
解説
...
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学
,
形式的証明
,
Coq
1455
16
解説
...
bd
2020年12月17日
位数100までの群の分類(の準備)
代数学
,
有限群論
,
群論
1648
11
文献あり
解説
...
microsupport
2020年11月11日
佐藤超函数としてのデルタ関数
複素解析
,
正則関数
,
代数解析
1848
20
解説
...
HiroshiHamada
2020年11月9日
自由エネルギーにかんするノート
自由エネルギー
,
WBIC
740
3
解説
...
spectrum
2020年11月7日
分配束について
束
588
3
解説
...
Alwe
2020年11月7日
強制法によるCantorの定理の証明
集合論
,
強制法
,
Cantorの定理
661
19
読み込み中...
読み込み中