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 exploresthe 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.