Axiom
{{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.
[[Category:Mathematical programming languages]]