The best is of course Wolfram + the Mathematica libraries. You get full symbolic manipulation as well, so you can do abstract linear algebra as well.