Mathematical Methods of Computer Algebra

Mathematical theory and algorithms used to design modern computer algebra systems; includes selected topics from: integer algorithms; greatest common divisor algorithms for polynomials; polynomial factorization algorithms; resultant computation and applications; polynomial decomposition; and the Risch integration algorithm.