I think you should look at symbolic algebra software in general, and the ones suggested are very good. My favorite is sympy, because of the Python integration and the community, but Reduce, wxMaxima, Sage, WolframAlpha, Mathematica, Mapple, Smath, Mathcad are the ones you should look.
Consider...