Wolfram Mathematica (usually termed Mathematica, Mathematica software suite) is a mathematical symbolic computation program.

Maxima is a fairly complete computer algebra system written in Lisp with an emphasis on symbolic computation.

GeoGebra is an interactive geometry, algebra, statistics and calculus application, intended for learning and teaching mathematics and science from primary sch…

Maple is a symbolic and numeric computing environment, and is also a multi-paradigm programming language.