Boulier–Buchberger 判别微分理想特征集计算无用 S 多项式约化准则的推广
交换代数
2022-04-07 v3 代数几何
偏微分方程分析
摘要
我们推广了由 Boulier 等人给出的 Buchberger 第一准则的类似形式，用于在计算微分理想的特征集时检测无用的 S 多项式约化。原版本假设线性多项式；此处结果推广到依赖于同一任意微分多项式的乘积型线性微分多项式。
引用
@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}
}
备注
12 pages. In French. With an extended abstract in English