Commutative Algebra Singularities and Computer Algebra