Computer algebra and in particular Gröbner bases are important in algebra and are gaining relevancy in applications such as cryptography. This is an (experimental) implementation in Haskell, which in particular allows computing Gröbner bases using a variant of Buchberger’s algorithm.
The initial blueprint for this project was inspired by the lecture Computer Algebra.