8
Axiom je systém počítačovej algebry na všeobecné použitie.Je užitočný pre výskum a vývoj matematických algoritmov.Definuje silne napísanú, matematicky správnu hierarchiu typov.Má programovací jazyk a vstavaný kompilátor.
axiom