循环差分-微分模上双变元维数多项式的Gr?bner基算法北大核心CSCD

Gr?bner基算法是在计算机辅助设计和机器人学、信息安全等领域广泛应用的重要工具.文章在周梦和Winkler(2008)给出的差分-微分模上Gr?bner基算法和差分-微分维数多项式算法基础上,进一步研究了分别差分部分和微分部分的双变元维数多项式算法.在循环差分-微分模情形,构造和证明了利用差分-微分模上Gr?bner基计算双变元维数多项式的算法.     

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

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

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

基于2008年Zhou和Winkler给出的计算有限生成的差分-微分双滤模的希尔伯特多项式的算法,文章构造了差分-微分模上相对多个序的的Grbner基,并给出和证明了计算这种Grbner基的算法.作为其应用,给出了计算差分-微分模的多变量维数多项式的新算法.推广了Zhou和Winkler(2008)所得结果,也推进了Levin(2007)所得结果.     

差分-微分模上多个序的Gr(o)bner基及多变量维数多项式

基于2008年Zhou和Winkler给出的计算有限生成的差分-微分双滤模的希尔伯特多项式的算法,文章构造了差分-微分模上相对多个序的的Gr(o)bner基,并给出和证明了计算这种Gr(o)bner基的算法.作为其应用,给出了计算差分-微分模的多变量维数多项式的新算法.推广了Zhou和Winkler (2008)所得结果,也推进了Levin (2007)所得结果.     

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

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

诺特赋值环上Grbner基的性质

本文主要研究了诺特赋值环上多项式理想的Grbner基的性质.利用Buchberger算法,证明了约化Grbner基的存在性及当其首项系数为单位元时的唯一性.推广了极小Grbner基和约化Grbner基的概念.同时,我们给出了求极小Grbner基和约化Grbner基的算法.     

PROPERTIES OF GR（O）BNER BASIS OVER A NOETHERIAN VALUATION RING

本文主要研究了诺特赋值环上多项式理想的Gr(o)bner基的性质.利用Buchberger算法,证明了约化Gr(o)bner基的存在性及当其首项系数为单位元时的唯一性.推广了极小Gr(o)bner基和约化Gr(o)bner基的概念.同时,我们给出了求极小Gr(o)bner基和约化Gr(o)bner基的算法.     

S-多项式的新算法

GVW算法在Grbner基的理论与计算中是非常重要与有效的.文章引入一种新的S-多项式,利用GVW算法中的"top-约化"来约化S-多项式,进而给出同时计算理想的Grbner基及理想合冲模的首项的Grbner基的一种新算法,并且得到了一些有趣的结果.     

分区参数Grbner基的计算

对于含参数的多项式理想,提出了分区参数Grbner基的概念,并且给出了一个计算分区参数Grbner基的算法,证明了该算法的正确性和终止性.     

分区参数Gr(o)bner基的计算

对于含参数的多项式理想,提出了分区参数Gr(o)bner基的概念,并且给出了一个计算分区参数Gr(o)bner基的算法,证明了该算法的正确性和终止性.     

基于Grbner基方法的交通分配算法

交通规划中的第四阶段交通分配是交通规划中最重要的环节之一,合理的交通分配方法是未来规划期内交通运输系统状态良好的关键,对交通分配模型进行优化有利于交通规划正确高效.经典的交通规划分配模型算法计算复杂,比较次数多,计算量大,而Grbner基方法在计算机上容易实现,计算思路清晰简洁,适合在交通分配中采用.选取了交通分配中的典型算法增量分配法,对其中最短路算法用Grbner基方法改进,构造了基于Grbner基方法的交通分配模型.模型先将交通分配中的最短路问题转化为求多项式集的Grbner基,然后直接得出交通分配中的最短路径,使交通分配算法高效简洁.最后,为算法加以实例佐证,证实算法在工程应用中可行.     

由吴方法计算零维系统的有理单元表示

本文提出一个计算零维系统的有理单元表示的新算法.无需进行Grbner基运算,我们的算法仅运用了著名的吴方法.基于吴方法,我们的算法在Maple平台上被编制成一个通用程序RUR-Wu,可快速地计算出零维系统的有理单元表示.作为一个应用,本文提出了一个有效方法,用来计算某些多项式的整体最小值.此外,本文给出了几个实例,用来表明算法的效率.     

多项式微分系统定性性质的算法化推导

关于利用计算机代数系统,结合吴方法,Gr(o)bner基方法,结式方法以及实根分离算法等对于多项式微分系统定性分析和稳定性判定的一些近期进展,主要包括高维系统平衡点和稳定性判定,一般平面系统的焦点量计算,焦点量独立性的判定以及小扰动极限环的构造以及利用向量场对称性或不变解曲线的存在性部分算法化地给出中心存在的条件.最后展示一些计算实例并提出几个相关的公开问题.     

Grobner基的一个应用

固定一个项序,利用Buchberger算法求多项式环S=C[x1,x2,…,xn]上的理想I的Grbner基.根据S上任意多项式f（x1,x2,…,xn）用Grobner基表示时其余项唯一的特点,将其应用到求解多项式方程组问题.实例展示用Grobner基可证明一个联立方程式是无解的.     

图的κ-覆盖与Grbner基求解

证明图的k-覆盖存在性问题等价于一个多元多项式方程组在{0,1}范围的求解问题,并通过使用Grbner基给出一个图有k-覆盖的有效判别与求解方法,进而求得图的覆盖数和极小覆盖.     

二元多项式矩阵Smith型的进一步结果（英文）

系统等价在二维系统研究中发挥重要作用,它与二元多项式矩阵等价问题密切相关.文章主要研究几类二元多项式矩阵与其Smith型等价问题,得到一些新的结果及这几类矩阵分别与其Smith型等价的判别准则.这些准则可以通过计算给定多项式矩阵的低一阶子式生成理想的Gr(o|")bner基进行检验.     

可除的四元数代数上多项式环的Grbner基(英文)

设F是一个特征不等于2的域,A是F上的一个可除代数。本文研究了A上多项式环A[x1,x2,…,xn]中理想是有限生成的,以及它的Gr bner基;也表明F[x1,x2,…,xn]中有限子集G是F[x1,x2,…,xn]的Gr bner基当且仅当G是A[x1,x2,…,xn]中的Gr bner基。     

关于如何利用Maple软件进行平面几何命题的验证的补充说明

文 [1 ]中通过定理 :设G是理想I的Gr bner基 ,f是k[x1 ,…xn]中的多项式 ,则f∈I的充分必要条件是f模G的范式为 0 .即通过对理想成员的判定 ,得出了验证几何命题是否成立的下述方法 :1、首先建立坐标系 ,将命题的条件和结论实行代数化 ,即转化成多项式的形式 ;2、求命题的所有条件 (用多项式表示 )所形成的理想I的Gr bner基Gs;3、求命题的结论f模Gs 的范式conc ;4、对范式进行判断 ,若范式为 0 ,说明命题结论成立 (或对 ) ;若范式不为 0 ,则说明命题结论不成立(或错 ) .但笔者认为该方法欠妥 ,还不够完善 ,有时会使我们得到错误的结论 ,…     

求鳞状循环因子矩阵的极小多项式的算法

提出了任意域上鳞状循环因子矩阵 ,利用多项式环的理想的Go bner基的算法给出了任意域上鳞状循环因子矩阵的极小多项式和公共极小多项式的一种算法 .同时给出了这类矩阵逆矩阵的一种求法 .在有理数域或模素数剩余类域上 ,这一算法可由代数系统软件Co CoA4 .0实现 .数值例子说明了算法的有效性     

Toric理想I_(A_d)的Grbner基

给出Toric环、Toric理想的概念,利用已知的Grbner基求配置矩阵A的Toric理想I_A的Grbner基.特别对一类无法用计算机计算其Grbner基的理想I_(A_d),给出了它的Grbner基的具体形式并通过实例验证其结论.