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
12
23
34
45
56
67
78
89
9アインシュタインの縮約記法
Einstein notationM系列
Maximum length sequenceアルゴリズム
Algorithm▼-1 trendsアルファベット (計算機科学)
Alphabet (formal languages)計算論的哲学
Computational philosophyMizar
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
HundredthAnnals of Mathematics
Annals of MathematicsCFL条件
Courant–Friedrichs–Lewy condition