强 Gröbner 基与欧几里得域上多变量多项式环中的线性代数

我们提供了关于欧几里得域 $R$ 上 $R[x_1, \ldots, x_n]^k$ 子模 Gröbner 基的自包含介绍，并解释了如何利用这些基来求解 $R[x_1, \ldots, x_n]$ 上的线性方程组。