Algorithms developed at Wolfram Research give
Mathematica industrial-strength constrained nonlinear optimization and
fitting. Mathematica provides a uniquely powerful
modeling language in which problems can be specified directly in symbolic form--and then
automatically analyzed to select the best algorithms to use.