Maxima -- GPL CAS based on DOE-MACSYMA
Source 3
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.