Axiom

“Axiom es un sistema de Álgebra Computacional de propósito general. Es muy útil para hacer matemáticas por computador y para investigación y desarrollo de algoritmos matemáticos. Define una tipificación muy fuerte, una jerarquía de datos matemáticamente correcta. Tiene un lenguaje de programación e incorpora un compilador.”
Hay también una interesante herramienta: Rosetta Stone la cual ofrece traducciones de muchas de las operaciones básicas para varios sistemas de álgebra computacional, incluyendo Maxima.

http://axiom-developer.org/