## HistoryAxiom 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 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. ## Open SourceNAG agreed to release Axiom as free software, under this 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. You can find source code, binaries files and more documentation for Axiom at http://www.axiom-developer.org/ ## 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
- integrate logic programming
- develop an Axiom Journal with refereed submissions.
The version of Axiom that is used on this page was built from source code on: fricas )version ## Try before you "Buy"Axiom is free, however it is a large and fairly complex program with a significant learning curve. Before you invest a lot of time installing and configuring Axiom, why not try it right here first? There are many examples and screenshots available for you to review and you can try out Axiom online! ## ForksOpenAxiom - a fork of the Axiom project created by Gabriel Dos Reis on August 13, 2007 starting from the build-improvements branch of Axiom. A major difference from the original Axiom project is the focus on shorter-term goals: "It aims at being the open source computer algebra system of choice for research, teaching, engineering, etc." Other differences include the use of a GNU autoconf-style build environment, continued improvement of the BOOT development language and SPAD library compiler and rejection of Knuth-style literate programming methodology as the preferred method of documentation. http://www.open-axiom.org FriCAS - a fork of the original Axiom project created by Waldek Hebisch on July 9, 2007 from the wh-sandbox branch of Axiom. It is based on the same initial work of Gaby Dos Reis on the Axiom build system as but focuses on improvements to the Algebra bootstrap process, the hypertex browser and algebra bug fixes. Like OpenAxiom, this project aims at rapid improvement and bug fixing of Axiom on a large number of different systems. It also favors adding alternative user interfaces such as Sage. http://groups.google.com/group/fricas-devel/web ## List of Axiom ContributorsThe following is a fairly complete list of people who have contributed to the development of Axiom over it's long history. If you know of anyone who you think should be on this list but is not, please let us know. It is our intention to update this list frequently. Many of these people are still actively involved with Axiom. Some however have already passed beyond these mortal concerns and we can only silently thank them for this wonderful legacy! fricas )credits |