On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains
Maria Francis, Thibaut Verron · 2021
Signature-based algorithms have brought large improvements in the performances of Gröbner bases algorithms for polynomial systems over fields. Furthermore, they yield additional data which can be used, for example, to compute the module of syzygies of an ideal or to compute coefficients in terms of the input generators.