Several days ago, I was trying to derive an inverse of a 3 by 3 matrix with its mathematical symbols. It's really a tedious work. What might be worse is aftering the horrible manipulation, one can not to be sure if the result is correct!
Now, the Maxima looks like the savior. I think I would like to try it and then write down the test result.