[dagw]

Python has sage and sympy for doing symbolic math. Although admittedly they're quite primitive compared to maple and mathematica (haven't used Maxima, so I can't really compare)

[koenigdavidmj]

Sage actually includes Maxima, for ultimate convenience.