关于微分算子环中Groebner基的计算
On Computing Groebner Basis in the Rings of Differential Operators
摘要：
Insa和Pauer在1998年给出了交换环上系数微分算子的Groebner基的基本理论，并给出了判定微分算子集是否为Groebner基的一个判据.本文给出了一个新的判据，使得Insa和Pauer的判据可以归结为一种特殊情况，并且利用这个新的判据可以更有效地计算Groebner基。
英文摘要：
Insa and Pauer presented a basic theory of Groebner basis for differential operators with coefficients in a commutative ring in 1998, and a criterion was proposed to determine if a set of differential operators is a Groebner basis. In this paper, we will give a new criterion such that Insa and Pauer's criterion could be concluded as a special case and one could compute the Groebner basis more efficiently by this new criterion.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
