mainAxiom Computer Algebra System - Summary

 
 
Membership Info
Group Admins:
6 active members

Group identification
Id: 2938
System Name: axiom
Name: Axiom Computer Algebra System
Group Type: non-GNU software and documentation

Search in this Group


 

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

 

Latest News rss feed
May 2009 release
     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 [...]

Axiom November 2008 Release
     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

Additional Axiom web sites
     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 [...]

Axiom Sources Available
     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


Communication Tools
 Mailing Lists (4 public mailing lists)

Development Tools
 Bug Tracker (open items: 45, total: 78)
 Task Manager (open items: 3, total: 4)
 Patch Manager (open items: 8, total: 10)

Back to the top

Powered by Savane 3.13-cf05.
Corresponding source code