THEORY

Software

• WWW Service for Axiom

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

• WWW Service for KANT - TU Berlin

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

• WWW Service for Macsyma

http://www.macsyma.com

• WWW Service for Maple

http://www.maplesoft.com

• WWW Service for Mathematica

http://www.wri.com

• WWW Service for MOLGEN, Bayreuth University

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

• WWW Service for MuPAD, Paderborn University

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

• WWW Service for REDUCE, Konrad-Zuse-Zentrum Berlin

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

• WWW Service for SIMATH, Saarbrueken University

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

• WWW Service for SYMMETRICA, Bayreuth University

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