MATH 4370 - [Computational Algebra]

(MQR-AS)

Fall. Next offered 2017-2018 (offered alternate years). 4 credits.

Prerequisite: linear algebra (MATH 2940, MATH 2210, or MATH 4310). Students will be expected to be comfortable with proofs.

Staff.

Introduction to Gröbner bases theory, which is the foundation of many algorithms in computational algebra. In this course, students learn how to compute a Gröbner basis for polynomials in many variables. Covers the following applications: solving systems of polynomial equations in many variables, solving diophantine equations in many variables, 3-colorable graphs, and integer programming. Such applications arise, for example, in computer science, engineering, economics, and physics.