This course introduces the use of computers for symbolic (i.e. exact) mathematical computation. It 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 COSC 4516; students may not retain credit for both MATH and COSC 4516.