APM 477 - Computer Algebra

(4) Credits

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 (or MTH 256 with a grade of 2.0 or higher) and knowledge of a scientific computer programming language, or permission of instructor.