Axiom
Axiom is a general purpose Computer Algebra application. It is useful for doing general mathematics by computer and for research and development of mathematical algorithms. The Axiom Language provides a very high level way to express abstract mathematical concepts that are collected in the Axiom Library which defines over 1,000 strongly-typed mathematical domains and categories.
See also:
This page is linked from: Common Lisp and gnuplot Zach Smith
CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively