Information:
Yacas is a small and highly flexible computer algebra language. The syntax is handled by an infix-operator grammar parser.
The distribution contains a small library of mathematical functions, but its real strength is the language, in which you can easily write your own symbolic manipulation algorithms.
The program also supports arbitrary precision arithmetic and comes with a graphical user interface, built with the fltk widget toolkit.