FirCAS 1.2.4
FriCAS is a computer algebra system forked from Axiom. It provides calculus (integral calculation, differentiation) and abstract algebra, function plotting, and has an integreated help system. It's implemented in Spad, a strongly types high-level language, for expressing mathematical algorithms in natural notation.