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
Alternativ till Axiom för Web med kommersiell licens
180
140
Mathematica
Definitivt tekniskt datorsystem som spänner över maskininlärning och neurala nätverk, datavetenskap, visualiseringar och mycket mer.