Maxima

Maxima es un sistema de álgebra computacional bastante completo, escrito en Lisp, con énfasis en computación simbólica; además es de libre distribución.