I suggest you to try [Reduce](http://www.reduce-algebra.com/), it is OpenSource and there are RPM packeges. It looks like this: 

![alt text][1]


  [1]: http://static.itmages.ru/i/10/1012/h_1286887665_4af06aa049.png