Axiom computer algebra system
|
|
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. I.e., mathematical objects (such as rings, fields, polynomials) as well as data structures from computer science (e.g., lists, trees, hash tables) are automatically typed. When an operation is applied to an object the type of the object determines the behaviour of the operation (similar to OOP).
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.
See also
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)de:Axiom (Software)