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.
Local na rede Internet:
http://www.axiom-developer.org/Categorias
