Similar to 理論計算機科学
Axiom (数式処理システム)
Axiom (computer algebra system)
第12SS装甲師団
12th SS Panzer Division Hitlerjugend
第21SS武装山岳師団
21st Waffen Mountain Division of the SS Skanderbeg
第36SS武装擲弾兵師団
Dirlewanger Brigade
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
アインシュタインの縮約記法
Einstein notation
M系列
Maximum length sequence
アルゴリズム
Algorithm▲2 trends
計算論的哲学
Computational philosophy
Mizar
Mizar system
数学
Mathematics▼-1 trends1+1+1+1+…
1 + 1 + 1 + 1 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯1/2 − 1/4 + 1/8 − 1/16 + ⋯
1/2 − 1/4 + 1/8 − 1/16 + ⋯1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/100
Hundredth
Annals of Mathematics
Annals of Mathematics
CFL条件
Courant–Friedrichs–Lewy condition
CR多様体
CR manifold