Axiom Computer Algebra System - Summary
This group is not part of the GNU Project.
Axiom is a general purpose Computer Algebra system. It is useful for doing mathematics by computer and 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.
Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions.
Axiom is sponsored by CAISS, the Center for Algorithms and Interactive Scientific Software, at The City College of New York.
Registration Date: Thu 12 Sep 2002 12:39:40 AM UTC
License: Modified BSD License
Development Status: 5 - Production/Stable
posted by axiom, Sun 31 May 2009 09:13:22 PM UTC
Axiom now supports latex chunk syntax in pamphlets, thus
Axiom pamphlets can now be pure latex.
Axiom can now read pamphlet files and extract latex chunks directly.
All input files were converted to the new format.
This change has several long term implications. Once all of the
[...]
posted by axiom, Tue 25 Nov 2008 02:56:12 AM UTC
Axiom November 2008 Release is available.
See the download page at
http://axiom-developer.org/axiom-website/download.html
posted by billpage1, Wed 08 Sep 2004 02:57:46 AM UTC
You can use Axiom online at the following web site:
http://page.axiom-developer.org
The Axiom Portal is a web portal which allows registered users to create their own wiki web pages containing Axiom commands and LaTeX mathematics, to exchange files with other users, to search and make entries in a bibtex compatible bibliography, find
[...]
posted by axiom, Fri 29 Aug 2003 03:34:20 PM UTC
The Axiom sources are now available for anonymous download.
The system builds correctly on Redhat Linux 9.
If the sources are expanded into a path (e.g. /SPAD)
you can build the system by typing:
cd /SPAD
export AXIOM=/SPAD/mnt/linux
make
- Browse open items
Submit a new item
- Browse open items
Submit a new item
- Browse open items
Submit a new item
Powered by Savane 3.14-8aba.
Corresponding source code