Existence and Construction of a Gröbner Basis for a Polynomial Ideal
Deepak Kapur, Paliath Narendran · arXiv (Cornell University) · 2023
This extended abstract gives a construction for lifting a Gröbner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits a Gröbner basis for every ideal in R.