Axiom is a computer algebra system. It is useful for research and development of mathematical algorithms for which it defines a strongly typed, mathematically correct type hierarchy. Axiom comes with an associated, though separable, programming language called A#.

Originally developed by researchers at IBM under the name Scratchpad, Axiom has been in development since 1973, and although it was formerly a commercial product, it is now open-source and free software. It is released under a modified BSD license.

Efforts are underway to extend Axiom 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

See also

• A# programming language

External links

• Axiom Homepage (http://page.axiom-developer.org/)
• Screenshots (http://axiom.axiom-developer.org/axiom-website/screenshots.html)
• Axiom Manual (http://page.axiom-developer.org/zope/Plone/refs/books/axiom-book2.pdf)