Axiom es un programa de álgebra computacional (CAS) muy útil para la investigación y el desarrollo de los algoritmos matemáticos, para los cuales define una sintaxis rigurosa, con niveles de jerarquías matemáticas estructurados.