Similar to 理論計算機科学
Axiom (数式処理システム)
Axiom (computer algebra system)第12SS装甲師団
12th SS Panzer Division Hitlerjugend第21SS武装山岳師団
21st Waffen Mountain Division of the SS Skanderbeg第36SS武装擲弾兵師団
Dirlewanger Brigade0
0▼-1 trends1
1▲5 trends2
23
34
45
56
67
78
89
9アインシュタインの縮約記法
Einstein notationM系列
Maximum length sequenceアルゴリズム
Algorithm▲1 trendsアルファベット (計算機科学)
Alphabet (formal languages)計算論的哲学
Computational philosophyMizar
Mizar system数学
Mathematics1+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
HundredthAnnals of Mathematics
Annals of MathematicsCR多様体
CR manifold