8
Axiom je računalna algebra sustava opće namjene.Koristan je za istraživanje i razvoj matematičkih algoritama.Definira snažno tipkanu, matematički ispravnu hijerarhiju tipa.Ima programski jezik i ugrađeni kompajler.
Web stranica:
http://www.axiom-developer.org/Kategorije
