FriCAS

FriCAS is an advanced computer algebra system. Its capabilities range

from calculus (integration and differentiation) to abstract algebra.

It can plot functions and has integrated help system.

FriCAS a fork of Axiom project -- its starting point was wh-sandbox

branch of the Axiom project.