Matematik

Partial ∂f/∂x tek değişken, total df/dx tüm değişkenler.

MVT ortalama eğim, IVT ara değer varlığı.

Fatou alt limit eşitsizliği, monotone tam eşitlik.

İstatistiksel güvenilirlik teknikleri.

Normal kapalı küme ayrık İLE completely regular Urysohn lemma.

Erdős-Ko-Rado teoremi kesişen aileleri incelerken İLE Sperner teoremi antichain yapılarını inceler

Homotopy sürekli deformasyon İLE isotopy homeomorfizm yoluyla.

CW cell ekleme, simplicial simplex yapıştırma.

Cluster algebra belirli exchange ilişkilerine sahip halka yapısıyken İLE quiver representation directed graph üzerinde temsil kuramıdir

Operadic algebra çok değişkenli işlemlerin cebiriyken İLE associative algebra iki değişkenli associatif çarpım cebirdir

Étale yerel izomorfizm İLE finite sonlu derece.

Arithmetic geometry sayı kuramı ve cebirsel geometri birleşimiyken İLE Diophantine geometry rasyonel nokta problemleri üzerine odaklanır

Perfectoid theory p karakteristiği etkisi olmayan p-adik geometriyken İLE rigid analytic geometry genel p-adik analitik geometridir

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

Motivic integration cebirsel geometride measure kuramıyken İLE p-adic integration p-adik analiz measure kuramıdir

ML parametreyi maksimize, Bayesian posterior kullan.

Model theory yapıların semantiğini incelerken İLE proof theory ispat sistemlerinin syntax analizini yapar

Weak linear functional, strong norm topolojisi.

Compact birim küre görüntüsü precompact, bounded norm sınırlı.

H-R asimptotik formül, E-K-R kombinatorik set.