8
O axioma é um sistema de álgebra computacional de uso geral.É útil para pesquisa e desenvolvimento de algoritmos matemáticos.Ele define uma hierarquia de tipos fortemente tipada e matematicamente correta.Possui uma linguagem de programação e um compilador embutido.
axiom