Matematik
Sayılar, yapılar ve örüntüleri inceleyen temel bilim dalı
Matematik Farkları
Tropical geometry max-plus cebirine dayalı geometriyken İLE toric geometry torus etkili cebirsel çeşitlerdir
Prismatic cohomology birleşik p-adik kohomoloji kuramıyken İLE crystalline cohomology karakteristik p geometrisi için kohomoloji kuramıdir
Matris kuramı kavramları.
Motivic integration cebirsel geometride measure kuramıyken İLE p-adic integration p-adik analiz measure kuramıdir
Robust statistics aykırı değerlere karşı dirençli yöntemler geliştirirken İLE classical statistics aykırı değerlerin olmadığını varsayar
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
Moonshine conjecture modüler fonksiyon ve grup kuramı bağlantısıyken İLE monstrous moonshine Monster grubu ile J-invariant ilişkisidir
Derived algebraic geometry homotopical bilgi içeren şemalarken İLE classical algebraic geometry standart komütatif cebirsel geometridir
Symplectic topology kapalı 2-form geometrisiyken İLE contact topology maksimal integrallenemez 1-form geometrisidir
Soyut cebir temel yapıları.
Coding theory hata düzeltme kodlarını incelerken İLE compression theory veri sıkıştırma algoritmalarını inceler
Model theory yapıların semantiğini incelerken İLE proof theory ispat sistemlerinin syntax analizini yapar
Farklı özelliklere sahip grup sınıfları.
Cad genişlemelerinin sınıflandırması.
Galois kuramı alan genişlemelerini grup yapısıyla analiz ederken İLE grup kuramı soyut cebirsel yapıları 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
Farklı dereceden denklemler.
Computational complexity problemlerin kuramk hesaplama zorluğunu incelerken İLE algorithmic efficiency spesifik algoritmaların pratik performansını inceler
(1996'dan beri)