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.
View full history Series and milestones
trunk series is the current focus of development.
All code Code
 Development focus:
 Version control system:
 Bazaar
 Programming languages:
 C,lisp,spad,aldor
All packages Packages in Distributions

barry source package in Wily
Version 0.18.51.1build3 uploaded on 20150907 
barry source package in Vivid
Version 0.18.51.1 uploaded on 20140903 
barry source package in Utopic
Version 0.18.51build1 uploaded on 20140426 
barry source package in Trusty
Version 0.18.51 uploaded on 20131122 
barry source package in Precise
Version 0.151.2 uploaded on 20111205
More contributors Top contributors
 daly 228 points