• 论文 • 上一篇
黄冠利,吕江毅,张华磊
黄冠利,吕江毅,张华磊. 循环差分-微分模上双变元维数多项式的Gr\"obner基算法[J]. 系统科学与数学, 2017, 37(7): 1722-1728.
HUANG Guanli,L¨U Jiangyi,ZHANG Hualei. Computing Bivariate Dimension Polynomials in Cyclic Difference-Differential Modules via Gr\"obner Bases[J]. Journal of Systems Science and Mathematical Sciences, 2017, 37(7): 1722-1728.
HUANG Guanli ,L¨U Jiangyi ,ZHANG Hualei
Gr\"obner基算法是在计算机辅助设计和机器人学、信息安全等领域广泛应用的重要工具.文章在周梦 和Winkler (2008)给出的差分-微分模上Gr\"obner基算法和差分-微分维数多项式算法基础上,进一步研究了分别差分部分和微分部分的双变元维数多项式算法. 在循环差分-微分模情形,构造和证明了利用差分-微分模上Gr\"obner基计算双变元维数多项式的算法.
分享此文:
[1] | 刘金旺,郑丽翠. S-多项式的新算法[J]. 系统科学与数学, 2012, 32(8): 950-956. |
[2] | 刘兰兰,周梦. 差分-微分模上多个序的Gr\"{o}bner基\\及多变量维数多项式[J]. 系统科学与数学, 2012, 32(8): 964-975. |
阅读次数 | ||||||
全文 |
|
|||||
摘要 |
|
|||||