Matematik
Sayılar, yapılar ve örüntüleri inceleyen temel bilim dalı
Matematik Farkları
Matris kuramı kavramları.
Farklı dereceden denklemler.
Soyut cebir temel yapıları.
Coding theory hata düzeltme kodlarını incelerken İLE compression theory veri sıkıştırma algoritmalarını inceler
Tropical geometry max-plus cebirine dayalı geometriyken İLE toric geometry torus etkili cebirsel çeşitlerdir
Derived algebraic geometry homotopical bilgi içeren şemalarken İLE classical algebraic geometry standart komütatif cebirsel geometridir
Prismatic cohomology birleşik p-adik kohomoloji kuramıyken İLE crystalline cohomology karakteristik p geometrisi için kohomoloji kuramıdir
Model theory yapıların semantiğini incelerken İLE proof theory ispat sistemlerinin syntax analizini yapar
Mathematical biology biyolojik süreçlerin matematik modellemesini yaparken İLE computational biology biyolojik verinin bilgisayar analizini yapar
Mathematical logic mantıksal çıkarımların matematik formalizmini yaparken İLE philosophical logic mantığın felsefi temellerini inceler
Calabi-Yau manifoldu özel metrik özelliklerine sahipken İLE Kähler manifoldu genel kompleks yapı taşır
Quantum kohomoloji enumerative geometri bilgisi içerirken İLE de Rham kohomoloji klasik kohomoloji kuramıdir
Symplectic topology kapalı 2-form geometrisiyken İLE contact topology maksimal integrallenemez 1-form geometrisidir
Moonshine conjecture modüler fonksiyon ve grup kuramı bağlantısıyken İLE monstrous moonshine Monster grubu ile J-invariant ilişkisidir
Motivic integration cebirsel geometride measure kuramıyken İLE p-adic integration p-adik analiz measure kuramıdir
Computational complexity problemlerin kuramk hesaplama zorluğunu incelerken İLE algorithmic efficiency spesifik algoritmaların pratik performansını inceler
Halkalardaki özel alt kümeler.
Robust statistics aykırı değerlere karşı dirençli yöntemler geliştirirken İLE classical statistics aykırı değerlerin olmadığını varsayar
Combinatorial optimization ayrık seçenekler arasında optimal seçim yaparken İLE continuous optimization sürekli değişkenli fonksiyon optimizasyonu yapar
Cad genişlemelerinin sınıflandırması.
(1996'dan beri)