Axiom computer algebra system
From Wikipedia, the free encyclopedia
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.
The principal architect of Scratchpad was Richard Dimick Jenks.
[edit] See also
- A# programming language
- Aldor programming language
- Macsyma, a computer algebra system
- Maple (software), a computer algebra system
- Mathematica, a computer algebra system
