GNU Octave - GNU Octave is a programming language for scientific computing.
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.
Anoc Octave Editor - Write scientific documents in LaTeX and perform mathematical calculations in Octave. Visualize the result in a PDF (LaTeX) or in a plot (Octave)
Maxima - Maxima is a fairly complete computer algebra system written in Lisp with an emphasis on symbolic computation.
Derive - Derive 6.1: Powerful system for doing symbolic and numeric mathematics.
MATLAB - A high-level language and interactive environment for numerical computation, visualization, and programming