Have you looked at Axiom?

https://en.wikipedia.org/wiki/Axiom_(computer_algebra_system...