Grbner基相关论文
对良性基方法和微分特征列方法进行算法化,然后把这种方法在MAPLE中实现并和软件中的Grbner方法进行比较.......
通过多元多项式的除法, 将0-1多项式规划问题转化为每个变量的次数至多为1的0-1多项式规划问题, 再用多项式环的理想Grbner基的Buc......

