差分-微分模上的Grbner基及差分-微分维数多项式  

作　　者：周梦[1] Winkler F 

机构地区：[1]北京航空航天大学数学系,北京100083 [2]RISC-Linz,J. Kepler University Linz,A-4040 Linz,Austria

出　　处：《中国科学（A辑）》2008年第8期913-929,共17页Science in China(Series A)

基　　金：国家自然科学基金(批准号：60473019);中国科学院数学机械化重点实验室资助项目

摘　　要：通过引入广义单项式序把Grbner基理论拓展到差分-微分模上,构造和证明了差分-微分模上Grbner基算法.然后利用差分-微分模上的Grbner基构造了线性差分-微分方程系的维数多项式算法.

关 键 词：GROBNER基 广义单项式序 差分-微分模 差分-微分维数多项式 

分 类 号：O175.7[理学—数学]