Axiom is a free, open source, general-purpose computer algebra system. It features a strongly typed language. The system has an interactive interpreter and a compiler. It includes over 1100 supported categories, domains, and packages covering large areas of Mathematics.
Citation:
@BOOK{jenks92,
AUTHOR = "Richard D. Jenks and Robert S. Sutor",
TITLE = "{Axiom --- The Scientific Computation System}",
PUBLISHER = "{Springer-Verlag}",
ADDRESS = "{New York, Berlin etc.}",
YEAR = 1992,
}