What is Axiom?
Axiom is a general purpose Computer Algebra system. It is useful 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 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 and James Davenport were key to the technical direction of the project. Scratchpad developed over a 20 year period and was considered 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 worked on all aspects of the system and eventually helped transfer the product to NAG. For a variety of reasons it never became a financial success and NAG withdrew it from the market in October, 2001.
NAG agreed to release Axiom as free software. 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
- (a) develop a better user interface
- (b) make it useful as a teaching tool
- (c) integrate additional mathematics
- (d) rebuild the algebra in a literate programming style
- (e) prove Axiom correct
The effort to prove Axiom correct is being supported by Carnegie Mellon
University. In particular, we gratefully acknowledge support by
Jeremy Avigad CMU Professor of Philosophy and Mathematical Sciences Frank Pfenning CMU Professor Srinivasan Seshan CMU Professor (Dept. Head) Karl Crary CMU Associate Professor Klaus Sutner CMU Teaching Professor Andre Platzer CMU Associate Professor
Axiom development was partially supported by
the Center for Algorithms and Interactive Scientific Software.
CAISS is a joint effort of the Computer Science and Mathematics
Departments of The City College of New York, part of the City
University system. Support by CAISS and CCNY is gratefully acknowledged.
In particular, the support by
Matthew Goldstein CUNY Chancellor Zeev Dagan CCNY Provost Maria Tamargo CCNY Dean of Science Joseph Barba CCNY Dean of Engineering Gilbert Baumslag CCNY Distinguish Professor, Director of CAISS Douglas Troeger CCNY Computer Science Chair Ed Grossman CCNY Mathematics Chair