Une g\'{e}n\'{e}ralisation du crit\`{e}re de Boulier -- Buchberger pour le calcul des ensembles caract\'{e}ristiques d'id\'{e}aux diff\'{e}rentiels
Commutative Algebra
2022-04-07 v3 Algebraic Geometry
Analysis of PDEs
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 of the same arbitrary differential polynomial.
Keywords
Cite
@article{arxiv.2107.01909,
title = {Une g\'{e}n\'{e}ralisation du crit\`{e}re de Boulier -- Buchberger pour le calcul des ensembles caract\'{e}ristiques d'id\'{e}aux diff\'{e}rentiels},
author = {Amir Hashemi and François Ollivier},
journal= {arXiv preprint arXiv:2107.01909},
year = {2022}
}
Comments
12 pages. In French. With an extended abstract in English