线性差分系统Groebner基的计算
On Computation of Groebner Bases for Linear Difference Systems
摘要:
本文给出了一个计算地差域上的差多项式环中线性理想的Groebner基的算法。生成理想的输入差分多项式也被假定为线性的。该算法是一个适应不同的理想,我们的多项式算法的基础上Janet样减少。
英文摘要:
In this paper we present an algorithm for computing Groebner bases of linear ideals in a difference polynomial ring over a ground difference field. The input difference polynomials generating the ideal are also assumed to be linear. The algorithm is an adaptation to difference ideals of our polynomial algorithm based on Janet-like reductions.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。