This course provides an introduction to the use of computers for symbolic (i.e. exact) mathematical computation. This involves traditional calculations such as analytic differentiation and integration of functions, and solving systems of equations. Topics include algorithms for fast integer and polynomial arithmetic, homomorphism methods, computation of polynomial greatest common divisors, factorization and symbolic integration. (lec 3) cr 3. Students may not retain credit for CPSC 5516 and either COSC 4516 or MATH 4516.