Modeling Languages and Optimization Systems

AIMMS - modeling system.
AMPL - modeling language.
DATAFORM - model management system.
EASY FIT - parameter estimation in dynamic systems.
Excel and Quattro Pro Solvers - spreadsheet-based linear, integer and nonlinear programming.
EZMOD - modeling for decision support systems.
GAMS - modeling language.
GAUSS - language, oriented toward data analysis and statistical applications.
LINGO - linear, integer, nonlinear programming with modeling language.
MATLAB - optimization toolbox.
MODLER - linear programming modeling language.
MPL - modeling system.
MPSIII - mathematical programming system (includes DATAFORM).
OPL Studio - optimization language and solver environment.
OPTIMAX - component software for optimization.
PLAM - algebraic modeling language for mixed integer programming, constraint logic programming, etc.
SPEAKEASY - numerical problems and operations research.
PCOMP - modelling language with automatic differentiation.
PROC NLP - nonlinear minimization or maximization.
What'sBest - Excel add-in for linear, integer, and nonlinear programming.