are there any software to do symbolic programming
I am wondering if anyone could recommend a sofware which is capable of
doing symbolic programming on a debian testing system. I would prefer if
it is free. I found (x)maxima under debian packages. Are there any choices?