El estudio de la factorización de expresiones polinómicas en ambientes CAS