The SymbolicAlgebra tool which was the predecessor of MathematicaLanguage.

http://maxima.sourceforge.net/

----
CategoryTool CategoryMath