APM 477 - 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 275 with a grade of 2.0 or higher and knowledge of a scientific computer programming language, or permission of instructor.