Computer algebra, 7.5 credits

About the course

The course deals with computer algebraic aspects of polynomial rings by means of the theory of Gröbner bases.

The following topics and results are covered: ideals, Hilbert's basis theorem, affine varieties, Hilbert's nullstellensatz, monomial orderings, Gröbner bases, Buchberger's algorithm, elimination, quotient rings.

The course also includes an introduction to a modern computer algebra system (CAS) with focus on how to use it to solve applied problems from graph theory, theoretical computer science, and optimization.

Know what you want to study?

Find your study programme

What can I study?

Explore our subjects