Sistemas de Algebra Computacional
Mathematica
MuPaD
Maple, reduce,
Maxima