Máxima es un sistema de cálculo simbólico escrito en Lisp.
Referencia:
Ecuaciones diferenciales con Maxima - José Antonio Vallejo