Singularities and Computer Algebra