Congratulations to the sympy team on a very successful Google Summer of Code: 9 completed projects! If you're looking for an open source alternative to Mathematica, you should totally check out sympy.