Maxima is a fairly complete computer algebra system written in lisp with an emphasis on symbolic computation. It is based on DOE-MACSYMA and licensed under the GPL. Its abilities include symbolic integration, 3D plotting, and an ODE solver.

Sage is a free open source mathematics software system spanning a huge range of mathematics including algebra, calculus, combinatorics, number theory and graph theory.