Similar to 計算論的哲学
Mizar
Mizar system紀元前13世紀
13th century BC第1海兵歩兵落下傘連隊 (フランス軍)
1st Marine Infantry Parachute Regiment第1軍団 (韓国陸軍)
I Corps (South Korea)第4機甲師団 (シリア)
4th Armoured Division (Syria)11インチiPad Pro (第1世代)
11インチiPad Pro (第2世代)
11インチiPad Pro (第3世代)
12.9インチiPad Pro (第1世代)
IPad Pro (1st generation)12.9インチiPad Pro (第2世代)
IPad Pro (2nd generation)12.9インチiPad Pro (第3世代)
IPad Pro (3rd generation)12.9インチiPad Pro (第4世代)
IPad Pro (4th generation)12.9インチiPad Pro (第5世代)
IPad Pro (5th generation)1の分割
Partition of unity9.7インチiPad Pro
Advanced Encryption Standard
Advanced Encryption StandardAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)Brilliant.org
Brilliant (website)C++ AMP
C++ AMPC++14
C++14Canonical XML
Canonical XMLCLIE
CLIÉ数学
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 + ⋯