yacas

Yacas is an easy to use, general purpose computer algebra system, a program for symbolic manipulation of mathematical expressions.

The system has a library of scripts that implement many of the symbolic algebra operations. New algorithms can be easily added to the library.