Maxima - Maxima is a fairly complete computer algebra system written in Lisp with an emphasis on symbolic computation.
Cadabra - Cadabra is the name of a universal computer algebra system designed for those users looking for the solution to problems encountered in the filed theory.
QtOctave - QtOctave: a front-end for Octave/un Front-End para Octave
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.
MATLAB - A high-level language and interactive environment for numerical computation, visualization, and programming
CoCoA - Computations in Commutative Algebra