8
Axiom er et generel computer Computer Algebra-system.Det er nyttigt til forskning og udvikling af matematiske algoritmer.Det definerer et stærkt indtastet, matematisk korrekt type hierarki.Det har et programmeringssprog og en indbygget compiler.