Axiom — система компьютерной алгебры общего назначения. Это полезно для исследования и разработки математических алгоритмов. Он определяет строго типизированную, математически правильную иерархию типов. Имеет язык программирования и встроенный компилятор.