Commutative Algebra, Singularities and Computer Algebra