Comment by antt

If you know what you're doing the axiom bindings make it the most powerful cas in terms of symbolic manipulation.

Mathematica is optimized for giving you results you need in undergrad classes. Sage is not optimized at all, but can solve problems useful to researchers.

It's the difference between osx and linux.