Computer Algebra and Symbolic Computation (Mathematical Methods)