Software

http://www.nag.co.uk/symbolic/AX.html

http://www.math.tu-berlin.de/algebra

http://www.macsyma.com

http://www.maplesoft.com

http://www.wri.com

http://www.mathe2.uni-bayreuth.de/molgen/mghome.html

http://math-www.uni-paderborn.de/MuPAD/

http://www.zib-berlin.de/Symbolik/reduce

http://emmy.math.uni-sb.de/~simath/index.html

http://btm2xd.mat.uni-bayreuth.de/axel/symneu.html