Strong Gröbner bases and linear algebra in multivariate polynomial rings over Euclidean domains
Erhard Aichinger · Expositiones Mathematicae · 2024
We provide a self-contained introduction to Gröbner bases of submodules of $R[x_1, \ldots, x_n]^k$, where $R$ is a Euclidean domain, and explain how to use these bases to solve linear systems over $R[x_1, \ldots, x_n]$.