Axiom is a general purpose system for doing mathematics by computer. It is especially useful for mathematical research and for development of mathematical algorithms. Axiom has a stronglytyped highlevel programming language for expressing abstract mathematical concepts. Over 1,000 mathematical domains and categories are collected in the Axiom Library.
History
Axiom has been in development since 1971. At that time, it was called Scratchpad. Scratchpad was a large, general purpose computer algebra system that was originally developed by IBM under the direction of Richard Jenks. The project started in 1971 and evolved slowly. Barry Trager was key to the technical direction of the project. Scratchpad developed over a 20 year stretch and was basically considered as a research platform for developing new ideas in computational mathematics. In the 1990s, as IBM's fortunes slid, the Scratchpad project was renamed to Axiom, sold to the Numerical Algorithms Group (NAG) in England and became a commercial system. As part of the Scratchpad project at IBM in Yorktown Tim Daly (http://
Open Source
NAG agreed to release Axiom as free software, under the Modified BSD License. The basic motivation was that Axiom represents something different from other programs in a lot of ways. Primarily because of its foundation in mathematics the Axiom system will potentially be useful 30 years from now. In its current state it represents about 30 years and 300 manyears of research work. To strive to keep such a large collection of knowledge alive seems a worthwhile goal.
Development Emphasis
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 http://
* integrate logic programming
* develop an Axiom Journal with refereed submissions.
Project information
 Maintainer:
 daly
 Driver:
 Not yet selected
 Development focus:
 Programming Languages:
 C,lisp,spad,aldor
 Licences:

Simplified BSD Licence
()
View full history Series and milestones
Axiom trunk series is the current focus of development
More contributors Top contributors
 daly 17 points
All packages Packages in Distributions

“barry” source package in Trusty
Version 0.18.51 uploaded on 20131122 
“barry” source package in Saucy
Version 0.18.35ubuntu2 uploaded on 20130426 
“barry” source package in Raring
Version 0.18.35ubuntu1 uploaded on 20120806 
“barry” source package in Quantal
Version 0.18.35ubuntu1 uploaded on 20120806 
“barry” source package in Precise
Version 0.151.2 uploaded on 20111205