{{language|Axiom
|strength=strong
|checking=static
|gc=yes
|LCT=yes}}{{implementation|Axiom}}{{language programming paradigm|Declarative}}
[http://axiom-developer.org/ 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.

<br clear=all>

[[Category:Mathematical programming languages]]