Matematik

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

Distribution F(x)=P(X≤x), density f(x)=F'(x).

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

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

Phi aralarında asal sayısı, Möbius çarpanlar paritelisi.

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

Intersection theory cebirsel çeşitlerin kesişim çarpımını incelerken İLE Chern class theory vektör bundle karakteristik sınıflarını inceler

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

Resolvent (λI-T)⁻¹ çözümleyici İLE spectrum σ(T) özdeğer kümesi.

Alternatif sayı sistemleri.

Dual V* lineer fonksiyonlar, primal V orijinal uzay.

Applied mathematics gerçek dünya problemlerine matematik uygulamalarken İLE pure mathematics soyut matematik kuramların geliştirilmesidir

Vertex algebra cebirsel conformal field theory yapısıyken İLE CFT fiziksel conformal field theory modelidir

Condensed mathematics kategorik topoloji yaklaşımıyken İLE topological spaces klasik nokta-küme topolojisidir

Pyknotic objects genel topolojik nesne kategorisiyken İLE profinite objects sadece profinite topolojik grup kategorisidir

Six functor formalism kohomoloji kuramlarınin sistematik yaklaşımıyken İLE classical sheaf theory temel sheaf işlemlerini inceler

Bias E[θ̂]-θ sistematik hata İLE variance E[(θ̂-E[θ̂])²].

Tangent tek nokta değme İLE secant iki nokta kesme.

Central merkez köşeli, inscribed çember üzeri köşeli.

Major büyük yay >180°, minor küçük yay