are there any software to do symbolic programming

[Kamaraju Kusumanchi <kk288@cornell.edu>]

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?

thanks
raju