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 and factorization. PREREQ: COSC 1046 & MATH 3056. Cross-listed as MATH 4516; students cannot take both COSC & MATH 4516. (lec 3) cr 3
