Une généralisation du critère de Boulier–Buchberger pour le calcul des ensembles caractéristiques d’idéaux différentiels

Abstract

We generalize the analog of Buchberger’s first criterion, stated by Boulier et al., for detecting useless S-polynomials reductions in the computation of characteristic sets of differential ideals. The original version assumes linear polynomials; this result is here extended to a product of linear differential polynomials depending on the same arbitrary differential polynomial.