MATH 412 Algorithmic Algebra
Algorithms and their complexity. Algorithm for integers (Euclidean algorithm, primality testing, prime factorization algorithm). Polynomial rings in one and several variables. Term orders. Dickson's lemma. Division algorithm. Gr bner bases. S-polynomials and Buchberger's algorithm. Reduced Gr bner bases. Applications of Gr bner bases: solving systems of polynomial equations, automated geometric theorem proving, solving the three color problem in the graph theory.
Cross Listed Courses
MATH 412 & MATH 612