MATLAB - A high-level language and interactive environment for numerical computation, visualization, and programming
Wolfram Mathematica - Mathematica has characterized the cutting edge in specialized processing—and gave the chief calculation environment to a large number of pioneers, instructors, understudies, and others around the globe.
GNU Octave - GNU Octave is a programming language for scientific computing.
Maxima - Maxima is a fairly complete computer algebra system written in Lisp with an emphasis on symbolic computation.
Sage Math - Sage is a free open-source mathematics software system licensed under the GPL.
AnyLogic - AnyLogic has changed simulation modeling and expanded its application into complex business environments. The unmatched flexibility of multimethod modeling allows users to capture the complexity of virtually any system, at any level of detail.