Computer Algebra and Polynomials