Computer algebra systems and TeXmacs |
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
Object Oriented:
Efficiency for large scale problems: Solutions developed with
Short development cycle:
Plotting via netmath over the network.
Computations over network
Well tested on a large array of problems.
Source level Debugger for maxima code
Documentation available as html, texinfo, info, dvi and postscript. The documentation can be read inside TeXmacs.
Easy to extend in fundamentally new ways, because you have complete access to source, and access to Common Lisp.
Portable to many systems.
libpari
(with optional assembler cores for some popular
architectures), and of the programmable interactive gp
calculator. While you can write your own libpari
-based
programs, many people just start up a gp session, or have
gp execute their scripts. Pari sessions can now be
started inside TeXmacs.
Originally developed at Bordeaux by a team led by
This webpage is part of GNU TeXmacs and the larger GNU project. Verbatim copying and distribution of it is permitted in any medium, provided this notice is preserved. For more information or questions, please contact Joris van der Hoeven.
Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111, USA