关于在微分算子环中计算格罗布纳基础的研究
摘要：对于1998年Insa和Pauer提出了一个基本的Groebner基础理论，其中微分算子的系数是在一个交换环中，并且提出了一个判据来确定一组微分算子是否是Groebner基础。在本文中，我们将给出一个新的判据，使得Insa和Pauer的判据可以被视为特殊情况，并且可以通过这个新的判据更高效地计算Groebner基础。
作者：Xiaodong Ma, Yao Sun and Dingkang Wang
论文ID：1004.2090
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2015-05-18