There is also, of course, what comes out of the answer which was given to this question: https://mathoverflow.net/questions/11517/computer-algebra-errors