A Signature-based Algorithm for computing Computing Gröbner Bases over Principal Ideal Domains

Maria Francis, Thibaut Verron

Signature-based algorithms have become a standard approach for Gröbner basis computations for polynomial systems over fields, but how to extend these techniques to coefficients in…