This textbook explains the formulation of algorithms that solve symbolic mathematical problems, and the implementation of these algorithms in computer algebra programming languages. The mathematical pseudo-language (MPL) is used throughout the book to illustrate the structure of recursive procedures, polynomials, rational expressions, and exponential and trigonometric functions. The CD-ROM contains algorithms and an electronic version of the text.