分区参数Grbner基的计算  

ON THE COMPUTATION OF PARTIONED-PARAMETRIC GRBNER BASES

作　　者：李鹏[1] 陈雪峰[1] 王定康[1] 

机构地区：[1]中国科学院数学与系统科学研究院数学机械化重点实验室,北京100080

出　　处：《系统科学与数学》2005年第2期129-138,共10页Journal of Systems Science and Mathematical Sciences

基　　金：本工作得到"973"项目(2004CB318000)的资助.

摘　　要：对于含参数的多项式理想,提出了分区参数Grbner基的概念,并且给出了一个计算分区参数Grbner基的算法,证明了该算法的正确性和终止性.The notion of partitioned-parametric Grobner bases of a polynomial ideal with parameters is introduced and an algorithm for constructing the partitioned-parametric Grobner bases is given, the correctness and the termination of the algorithm are also proved.

关 键 词：分区 GROEBNER基 计算 多项式理想 含参数 终止性 正确性 算法 

分 类 号：O241[理学—计算数学]