There are a number of these. The one I have been using lately is sympy - a pure python symbolic math library.

You may also be interested in the open source "sage mathematics", which is a frontend/interface to many different open-source symbolic solvers such as sympy, maxima, GAP, PARI, Singular, and octave.

They are not as good as mathematica currently, but can already do quite a lot.