8
Axiom je sistem splošne računalniške algebre.Uporaben je za raziskovanje in razvoj matematičnih algoritmov.Določa močno tipizirano, matematično pravilno vrsto hierarhije.Ima programski jezik in vgrajen prevajalnik.
Spletna stran:
http://www.axiom-developer.org/Kategorije
