Matematik

Queuing kuyruk sistemi, reliability sistem güvenilirlik.

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

Ensemble çoklu model, single tek model.

Temel geometrik nesneler.

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

Diagonal köşe-köşe bağlantı İLE side yan kenar.

H-B linear functional uzatma, open mapping açık dönüşüm.

Topolojik invaryantlar.

Sphere packing maksimal yoğunluk, covering minimal örtme.

Determinant hacim çarpan İLE trace köşegen toplamı.

G-S orthogonalization süreç, QR faktorizasyon A=QR.

Network theory gerçek dünya ağ sistemlerini modellerken İLE graph theory soyut graph yapılarının matematik özelliklerini inceler

Cad genişlemelerinin sınıflandırması.

Experimental design kontrollü deney planlaması yaparken İLE observational study mevcut verilerin analizi yapar

Computational mathematics hesaplama odaklı matematik yöntemleri geliştirirken İLE theoretical mathematics soyut kuramk yapıları inceler

Local yakın maksimum, global tüm domain maksimum.

Liouville sınırlı entire sabit, Picard entire en çok 1 değer atlar.

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

Simply her loop büzülebilir, multiply büzülmez loop var.

Grothendieck kategori kuramk, ordinary nokta küme.