[ale] Symbolic Manipulator

[Terry Bailey]

Hi,

Is there a symbolic manipulator like Derive, Maple or Mathematica 
that runs on Linux?

Thank  you,

Terry Bailey