 |
The Axiom system |  |
Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler.
Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software (under a BSD-like license).
Efforts are underway to extend this software to
- Develop a better user interface;
- Make it useful as a teaching tool;
- Develop an algebra server protocol;
- Integrate additional mathematics;
- Rebuild the algebra in a literate programming style;
- Integrate logic programming;
- Develop an Axiom Journal with refereed submissions.
Axiom web page : http://www.nongnu.org/axiom/
Axiom project : http://savannah.nongnu.org/projects/axiom
© 1998–2002 Joris van der Hoeven
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.1 or
any later version published by the Free Software Foundation; with no
Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
Texts. A copy of the license is included in the section entitled
"GNU Free Documentation License".