Similar to 計算複雑性理論
NP困難
NP-hardness組合せ最適化
Combinatorial optimizationグリードイド
Greedoid計算論的トポロジー
Computational topologyナップサック問題
Knapsack problemPSPACE
PSPACEマトロイド
Matroid計算理論
Theory of computationアッカーマン関数
Ackermann function計算論的神経科学
Computational neuroscience数学基礎論
Foundations of mathematics不動点コンビネータ
Fixed-point combinatorΜ再帰関数
General recursive functionM系列
Maximum length sequenceアルゴリズム
Algorithm▼-1 trendsアルファベット (計算機科学)
Alphabet (formal languages)Mizar
Mizar system1+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
Hundredth2の12乗根
Twelfth root of twoAnnals of Mathematics
Annals of MathematicsBa空間
Ba spaceCalculus on Manifolds (書籍)
Calculus on Manifolds (book)CR多様体
CR manifoldD-加群
D-module▲18 trends