# Category:Axiom

**Axiom**

This

**programming language**may be used to instruct a computer to perform a task.

Garbage collected: | Yes |
---|---|

Type strength: | Strong |

Type checking: | Static |

See Also: |

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.

## Pages in category "Axiom"

The following 14 pages are in this category, out of 14 total.