|Title||On Computing Gröbner Bases in Rings of Differential Operators|
|Author(s)|| Xiaodong Ma, Yao Sun, Dingkang Wang|
|Abstract||Insa and Pauer presented a basic theory of Gr ̈bner 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 Gr ̈bner 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 Grobner basis more efficiently by this new criterion.
|Keywords||Gröbner basis, rings of differential operators|
Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, CAS,|