本文主要是研究Grobner基的计算方法。令K[x1,x2…xn]是域K上关于变量x1,x2…xn的多项式环,Ⅰ是K[x1,x2…xn]上的理想,若Ⅰ的有限......

本文研究了Groebner基与Hilbert零点定理、高斯消元法、单项式序之间的关系,通过确定合适的单项式序,减少了S-多项式对的个数,降低......

利用Buchberger第二准则证明了当单项式序为字典序时,多项式组G经过约化和多项式排序后,如果其中相邻元素之间的S-多项式被G除得的......

多数计算机代数系统对计算机硬件有较高的要求，在进行符号运算时，通常需要很大的内存和较长的计算时间，而精确的代数运算是以时间和空......

固定一个项序,利用Buchberger算法求多项式环s=C[3x1,x2,…,xn]上的理想Ⅰ的Gr(o)bner基.根据S上任意多项式f(x1,x2,…,xn)用Gr(o)......

Groebner基是代数中基本的计算工具之一.本文通过将Groebner基在理想上的一条性质推广到模上,来研究模上的Groebner基.首先证明模......

GVW算法在Gr(o)bner基的理论与计算中是非常重要与有效的.文章引入一种新的S-多项式,利用GVW算法中的“top-约化”来约化S-多项式,......

Groebner基是代数中基本的计算工具之一．本文通过将Groebner基在理想上的一条性质推广到模上，来研究模上的Groebner基．首先证明模上的......

对于Noether整环上n个变元的多项式环中的Groebner基以及m（m≥n）个变元的多项式环中的复合，通过引入S-多项式及合冲条件，证明了当复合......

本文通过定义S-多项式,给出了系数环是整环的多项式环中理想的准-Groebner基的一个算法,并据此给出了计算该理想极大无关变元组和......

复合是指将多项式的每一个变元用新的多项式替换．对于Noether整环上的多项式环，如果复合与项序相容并且是一组首幂积为排列幂的首1齐......

固定一个项序,利用Buchberger算法求多项式环S=C[x1,x2,…,xn]上的理想I的Grbner基.根据S上任意多项式f（x1,x2,…,xn）用Grobner基......

复合是指将多项式的每一个变元用新的多项式替换．对于Noether整环上的多项式环上某个项序下的Groebner基，利用S多项式及合冲条件，证明......