Matematik

Directional yön türevi, gradient ∇f vektör alan.

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

Power Series ∑aₙxⁿ, Laurent ∑aₙxⁿ n negatif olabilir.

Deep learning çok katmanlı sinir ağları kullanırken İLE shallow learning tek gizli katmanlı veya lineer modeller kullanır

Line eğri üzerinde, surface yüzey üzerinde.

Langlands programı temsil kuramı ve sayı kuramıni birleştirirken İLE Weil konjektürü cebirsel eğriler üzerinde zeta fonksiyonları inceler

Discrete mathematics sayılabilir ayrık yapıları incelerken İLE continuous mathematics sürekli değişen büyüklükleri inceler

Uniform δ tüm noktalar için, pointwise her nokta ayrı.

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

Pointwise her nokta ayrı, uniform tüm nokta aynı hız.

Conservative potansiyel var, non-conservative yok.

Motivic homotopy cebirsel geometride homotopi kuramıyken İLE algebraic K-theory halka ve şemaların K-gruplarını inceler

Farklı integral tanımları.

Divergence hacim-yüzey, fundamental integral-antiderivative.

Jacobian J birinci türev matrisi İLE Hessian H ikinci türev.

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

Stable homotopy yüksek dimensional limitken İLE unstable homotopy dimension bağımlı grup yapısıdır

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

Proper sonlu interval, improper sonsuz ya da dikontinü.

FTC ∫f'(x)dx = f(x), parts ∫udv = uv - ∫vdu.