8
Axiom är ett allmänt datoralgebra-system.Det är användbart för forskning och utveckling av matematiska algoritmer.Den definierar en starkt typ, matematiskt korrekt typ hierarki.Den har ett programmeringsspråk och en inbyggd kompilator.
Hemsida:
http://www.axiom-developer.org/kategorier
