This is probably obvious to most people here, but I just want to mention that such software should not be trusted blindly for mathematical correctness. It is easy in most computer algebra systems to find false results (and trivial if it includes numerical computations).

An interesting related thread: http://mathoverflow.net/questions/11517/computer-algebra-err...