Computer Algebra and Symbolic Computation: Mathematical Methods