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 strongly-typed high-level programming language for expressing abstract mathematical concepts. Over 1,000 mathematical domains and categories are collected in the Axiom Library.
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://
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 man-years of research work. To strive to keep such a large collection of knowledge alive seems a worthwhile goal.
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.
All packages Packages in Distributions
barry source package in Wily
Version 0.18.5-1.1build1 uploaded 17 hours ago
barry source package in Vivid
Version 0.18.5-1.1 uploaded on 2014-09-03
barry source package in Utopic
Version 0.18.5-1build1 uploaded on 2014-04-26
barry source package in Trusty
Version 0.18.5-1 uploaded on 2013-11-22
barry source package in Precise
Version 0.15-1.2 uploaded on 2011-12-05