Sistemas de Algebra Computacional

Mathematica

MuPaD

Maple, reduce, Maxima