Matematik

Reverse mathematics aksiyom gücü analizi yaparken İLE forward mathematics aksiyomlardan teorem ispatı yapar

Mathematical chemistry kimyasal süreçlerin matematik kuramıni geliştirirken İLE computational chemistry kimyasal sistemlerin sayısal simülasyonunu yapar

Cross-validation k-fold İLE holdout tek bölme.

Eşit kenar ve açılı şekiller.

Bayes önsel bilgi günceller, frekansçı uzun dönem sıklık

Geometric group theory grupları geometrik nesneler olarak incelerken İLE algebraic topology uzayların cebirsel invariantlarını inceler

Forcing küme kuramı tutarlılık ispatı tekniğiyken İLE classical logic standart mantıksal çıkarım sistemidir

İstatistikte sıkça kullanılan altı temel olasılık dağılımı.

Sürekli kesir [a₀;a₁,a₂,...], decimal 0.abc... formunda.

SVD A=UΣVᵀ genel, spectral Aᵀ=A için özel.

Norm ||x-y|| mesafe, weak linear functional süreklilik.

Bağımsız olaylar birbirini etkilemez İLE bağımlı olaylar etkiler

Manifold yerel Euclidean İLE variety polinom kümesi.

Tangent T(M) teğet vektörler, cotangent T*(M) lineer formlar.

Galois grup kuram, field extension alan genişletme.

K-theory vektör bundle İLE cobordism manifold sınır.

Characteristic bundle invariant, Chern kompleks bundle.

Index diferansiyel operatör, R-R cebirsel geometri.

Chromatic homotopy periodic fenomenlerle süzme yaparken İLE stable homotopy genel stabilizasyon sürecidir

Independence P(A∩B)=P(A)P(B) İLE correlation linear ilişki.