分区参数Grbner基的计算

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

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

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

UFD上线性递归序列特征理想的GrÖbner基

设R是唯一因子分解整环 (UFD) ,用GrÖbner基和局部化方法给出了R上半无限线性递归序列 (lrs)和全无限线性递归序列 (Lrs)的特征理想的刻画 ,并得到域上有限长线性递归序列的齐次特征理想的GrÖbner基的标准型 ,从而清晰地揭示了Berlekamp Massey(BM )算法中的每一步与GrÖbner基的精确联系.     

GrÖbner基推广及Z/(m)上多条序列综合算法

将GrÖbner基推广到环(Z/(P^e)[x₁,…,x_n])/I上,p是素数,e≥1,I是Z/(P^e)[x₁,…,x_n]的理想,应用推广的GrÖbner基理论,给出了环Z/(m)上多条序列的综合算法,算法复杂性是O(N²).     

差分-微分模上的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基的算法.     

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

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

S-多项式的新算法

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

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

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

布尔环上的分支Gr(o)bner基算法

众所周知Gr\"obner基在很多领域都有着十分重要的应用.近些年来Gr\"obner基算法有了很大的改进,其中最著名的是Faug\`ere提出的F4和F5算法. 这两个算法具有很高的效率但通常需要消耗大量的内存.鉴于此,将给出一个布尔环上基于zdd数据结构的分支Gr\"obner基算法,该算法不仅可以大大降低对内存的消耗,还能有效的控制矩阵规模,从而提高算法的整体效率.详细阐述并证明了算法的基本理论,介绍该分支算法的数据结构及分支策略.最后通过实验数据可以发现,在很多例子中此算法都要优于Magma中的F4算法.     

迷向表示分为6个不可约直和的旗流形上不变爱因斯坦度量

众所周知,计算广义旗流形G/K上不变爱因斯坦度量存在两个困难:(1)如何计算旗流形的非零结构常数;(2)如何计算旗流形爱因斯坦方程组的Grobner基.在这篇文章中用定理2.1来计算旗流形的非零结构常数,用Maple软件来计算旗流形爱因斯坦方程组的Gr?bnexr基.最后得到旗流形F_4/U~2(1)×SU(3),E_6/U~2(1)×SU(3)×SU(3),E_7/U~2(1)×SU(2)×SU(5),E_7/U~2(1)×SU(6),E_7/U~2(1)×SU(2)×SO(8)与E_8/U~2(1)×E_6上爱因斯坦度量.     

On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring

Following the definition of Gr?bner bases in rings of differential operators given by Insa and Pauer (1998), we discuss some computational properties of Gr?bner bases arising when the coefficient set is a ring. First we give examples to show that the generalization of S-polynomials is necessary for computation of Gr?bner bases. Then we prove that under certain conditions the G-S-polynomials can be reduced to be simpler than the original one. Especially for some simple case it is enough to consider S-polynomials in the computation of Gr?bner bases. The algorithm for computation of Gr?bner bases can thus be simplified. Last we discuss the elimination property of Gr?bner bases in rings of differential operators and give some examples of solving PDE by elimination using Gr?bner bases. This work was supported by the NSFC project 60473019.     

Reduced Gröbner Bases in Polynomial Rings over a Polynomial Ring

We propose a new notion of reduced Gr?bner bases in polynomial rings over a polynomial ring and we show that every ideal has a unique reduced Gr?bner basis. We introduce an algorithm for computing them.     

平面拟共形映照的偏差函数估计

研究平面拟共形映照的偏差函数μ(r),λ(K)和ηK(t).利用环形区域模函数的共形不变性,证明μ(r)满足一个新的不等式.作为应用,不必利用椭圆函数的性质,得到了估计Gr(o|¨)tzsch,Teichm(u|¨)ller和Mori这3种典型极值环形区域模函数的更精确的不等式,并得到了λ(K)和ηK(t)的更精确的上下界估计不等式.改进了由Anderson,Vamanamurthy,Qiu和Vuorinen所得的相应结果.     

框架的局部化

Grochenig and Balan, Casazza, Heil, and Landau introduced the concepts of localization. The concepts were used to Gabor frames, wavelet frames and sampling theorem in recent years. Here they are applied to the frame of exponential windows with the conclusion that the frame of exponential windows is a Banach frame for a kind of Banach spaces, and the conclusion is also obtained about the relationship between frame bounds, frame density, measure and density of indexing set.     

Grobner基的一个应用

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

Computing Syzygies by Faug��re��s F5 algorithm

In this paper, we introduce a new algorithm for computing a set of generators for the syzygies on a sequence of polynomials. For this, we extend a given sequence of polynomials to a Gr?bner basis using Faugère??s F₅ algorithm (A new efficient algorithm for computing Gr?bner bases without reduction to zero (F ₅). ISSAC, ACM Press, pp 75?C83, 2002). We show then that if we keep all the reductions to zero during this computation, then at termination (by adding principal syzygies) we obtain a basis for the module of syzygies on the input polynomials. We have implemented our algorithm in the computer algebra system Magma, and we evaluate its performance via some examples.