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. (Formerly APM 477)
Prerequisite(s): (MTH 275 or MTH 2775) with a grade of 2.0 or higher and knowledge of a scientific computer programming language, or permission of instructor.