OpenAxiom or Opensource axiom was once just axiom which was a for-profit thing, but now it is free.

You do mathematic calculations with it.