Cohen J. Computer Algebra and Symbolic Computation. Mathematical Methods 2003

Textbook in PDF format

Mathematica, Maple, and similar software packages provide programs that carry out sophisticated mathematical operations. Applying the ideas introduced in Computer Algebra and Symbolic Computation: Elementary Algorithms, this book explores the application of algorithms to such methods as automatic simplification, polynomial decomposition, and polynomial factorization.
It is well-suited for self-study and can be used as the basis for a graduate course