YACAS is an easy to use, general purpose computer algebra system. It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. The system comes with a library of scripts and extensive documentation.
sample terminal session
sample surface plot
sample GUI session
another sample GUI session