APM 4777 - Computer Algebra

(4)

The mathematics and algorithms for symbolic computation. Includes theory of algebraic extensions, modular and p-adic methods, Groebner bases, factorization and zeros of polynomials, solutions to systems of polynomial equations, applications to automatic geometric theorem proving and closed form solutions to differential equations.
Prerequisite(s): MTH 2775 with a grade of (C) or higher and knowledge of a scientific computer programming language, or permission of instructor.