@article{10.1016/j.jsc.2007.06.006,
    Abstract = {This article gives a short introduction to the theory of Grobner bases in a class of rings, which includes rings of differential operators and polynomial rings over commutative noetherian rings. A definition of reduced Grobner bases for these rings is proposed.},
    Address = {USA},
    Author = {Pauer, Franz},
    File = {Grobner bases with coefficients in rings - j.jsc.2007.06.006 - v.pdf},
    ISSN = {0747-7171},
    Journal = {J. Symb. Comput.},
    Keywords = {Gr\"{o}bner basis, Rings of differential operators, Reduced Gr\"{o}bner basis, Polynomial rings},
    Month = {nov},
    Number = {11--12},
    Pages = {1003--1011},
    Publisher = {Academic Press, Inc.},
    Title = {Gr\"{o}bner Bases with Coefficients in Rings},
    URL = {https://doi.org/10.1016/j.jsc.2007.06.006},
    Volume = {42},
    Year = {2007},
    bdsk-url-1 = {https://doi.org/10.1016/j.jsc.2007.06.006},
    date-added = {2022-05-05 10:36:25 +0200},
    date-modified = {2022-05-05 10:36:25 +0200},
    issue_date = {November, 2007},
    numpages = {9},
    doi = {10.1016/j.jsc.2007.06.006}
}

@article{10.1016/j.jsc.2007.06.006, Abstract = {This article gives a short introduction to the theory of Grobner bases in a class of rings, which includes rings of differential operators and polynomial rings over commutative noetherian rings. A definition of reduced Grobner bases for these rings is proposed.}, Address = {USA}, Author = {Pauer, Franz}, File = {Grobner bases with coefficients in rings - j.jsc.2007.06.006 - v.pdf}, ISSN = {0747-7171}, Journal = {J. Symb. Comput.}, Keywords = {Gr\"{o}bner basis, Rings of differential operators, Reduced Gr\"{o}bner basis, Polynomial rings}, Month = {nov}, Number = {11--12}, Pages = {1003--1011}, Publisher = {Academic Press, Inc.}, Title = {Gr\"{o}bner Bases with Coefficients in Rings}, URL = {https://doi.org/10.1016/j.jsc.2007.06.006}, Volume = {42}, Year = {2007}, bdsk-url-1 = {https://doi.org/10.1016/j.jsc.2007.06.006}, date-added = {2022-05-05 10:36:25 +0200}, date-modified = {2022-05-05 10:36:25 +0200}, issue_date = {November, 2007}, numpages = {9}, doi = {10.1016/j.jsc.2007.06.006} }