'MuPAD' for Symbolic & Algebraic Computations

'MuPAD', a software for computer algebra system was developed at the
University of Paderton, Germany in mid-90s. Its aim was to incorporate
some unusual features on top of the usual numeric and symbolic
manipulations like user-definable data types, object-oriented
programming and accessible library code.

MuPAD performs symbolic and exact algebraic computations with almost
arbitrary accuracy. For example, the number of significant digits can be
chosen freely.

Since 1997, due to a budget crunch, MuPAD developers decided to set up
a commercial venture in order to safeguard the development efforts.
At present Sciface Software markets the professional version, MuPAD Pro.
The free versions, MuPAD Light for Windows and MuPAD 3.1.1 for Linux
are avialable for academic and individual non-commercial use.

The commercial versions can run in Windows, Macintosh, Linux and Solaris
and some of those are available in English, Germany and Japanese
languages. Please check their site for details.

The free versions of MuPAD can be downloaded from here . MuPAD Light
for Windows is easy to install and trouble-free in operation. Unlike other
freewares available, MuPAD has the advantage of its close association with
its commercial branch, which really benefits their free users.