> ability to both symbolically and numerically solve advanced mathematical systems of equations.

I mean, python, matlab, julia, octave, sage, and maple would all fit that definition I think. I do think Mathematica's CAS is the best in the business but not the only player for sure.

I'm sure Steven has something in mind that sets Wolfram Language apart, just not sure what that is.