Computer Algebra and Symbolic Computation