APM 577 - Computer Algebra

(4 credits)

A study of the mathematics and algorithms which are used in symbolic algebraic manipulation packages. Topics include computer representation of symbolic mathematics, polynomial ring theory, field theory and algebraic extensions, modular and padic methods, subresultant algorithm for polynomial GCD’s, Groebner bases for polynomial ideals and Buchberger’s algorithm, factorization and zeros of polynomials.

Prerequisite(s): Required background includes a course in abstract algebra and knowledge of a scientific programming language.