This course introduces 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, and factorization. PREREQ: COSC 1046 and MATH 3056. (lec 3) cr 3. Crosslisted as MATH 4516. Students may not retain credit for both COSC and MATH 4516.