An introduction to the use of computers for symbolic (i.e. exact) mathematical computation. 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 and factorization. PREREQ: COSC 1046 & MATH 3056. Cross-listed as COSC 4516; students may not retain credit for both COSC & MATH 4516. (lec 3) cr 3