Software
http://www.nag.co.uk/symbolic/AX.html
http://www.math.tu-berlin.de/algebra
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