Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential...
wxMaxima is a document based interface for the computer algebra system Maxima. wxMaxima uses wxWidgets and runs natively on Windows, X11 and Mac OS X.
Maple is a general-purpose commercial computer algebra system. Users can enter mathematics in traditional mathematical notation. Custom user interfaces can also be created.
OpenAxiom, fork of...
MathStudio, formerly SpaceTime, is the most comprehensive math app available for mobile devices.
Yet another (general-purpose) computer algebra system. There is support for numeric computations, to arbitrary precision, symbolic computation and visualization.
Cadabra is a computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory.
Singular is an open source computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and...
Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms.
FriCAS is an advanced computer algebra system. Its capabilities range from calculus (integration and differentiation) to abstract algebra.
SymbolicC++ uses C++ and object-oriented programming to develop a computer algebra system.
Derive 6.1: Powerful system for doing symbolic and numeric mathematics. This application is no longer available or supported.Unofficials Demo and Updates
MathJournal is an interactive program for the Tablet PC that provides a natural and intuitive environment for solving mathematical and engineering problems.
A software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics.
Symja Library - Java Symbolic Math System