Bir Matematiksel Programlama Dili (AMPL), büyük ölçekli matematiksel hesaplama (yani büyük ölçekli optimizasyon ve çizelgeleme tipi problemler) için yüksek karmaşıklık problemlerini tanımlamak ve çözmek için bir cebirsel modelleme dildir. Robert D. Fourer, David Gay ve Brian Kernighan tarafından Bell Laboratuvarları'nda geliştirildi. AMPL, CBC, CPLEX, FortMP, Gurobi, MINOS, IPOPT, SNOPT, KNITRO ve LGO dahil olmak üzere düzinelerce çözücü, hem açık kaynak hem de ticari yazılımları destekler. Çözümler, nl dosyaları olarak geçirilir. AMPL 100'den fazla kurumsal müşteri tarafından ve devlet kurumları ve akademik kurumlar tarafından kullanılmaktadır. AMPL'nin bir avantajı sözdiziminin optimizasyon problemlerinin matematiksel gösterimi ile benzerliğidir. Bu, optimizasyon alanındaki problemlerin çok özlü ve okunabilir tanımlanmasını sağlar. NEOS Sunucusu'nda bulunan birçok modern çözücü (eski Wisconsin Üniversitesi, Madison'da ev sahipliği yaptığı Argonne Ulusal Labora