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.

Microsoft Mathematics (Microsoft Math) is a freely downloadable educational program, designed for Microsoft Windows, that allows users to solve math and scien…

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.