【摘 要】
：
Buchberger在1965年第一次提出了计算Gr(o)bner基的算法,后来又有很多人来对其进行改进,以提高它的效率.F5算法在2002年由Faugère给出,这无疑是其中最重要的改进之一.它第一
【出 处】
：
中国科学院研究生院 中国科学院大学
论文部分内容阅读
Buchberger在1965年第一次提出了计算Gr(o)bner基的算法,后来又有很多人来对其进行改进,以提高它的效率.F5算法在2002年由Faugère给出,这无疑是其中最重要的改进之一.它第一次运用签名来计算Gr(o)bner基,并在一段时间内被公认为是最快的算法.最近(2011年),Gao,Wang,Volny提出的GVW算法又要比F5算法更为简单和快速.这种算法仍然使用签名,却不采用递增的形式.在这篇文章中,我们将介绍这两种算法,并对GVW算法在任意序条件下的推广,做一些有益的尝试.
其他文献
随着保险业的发展，风险理论逐步成为保险公司风险度量的主要手段。学者们综合运用现代数学，概率与统计学、保险学等理论和方法对经典风险模型进行了多方面的推广。经过近百年的
据国家发改委发布的消息,2010年上半年全国原煤产量15.7亿t,同比增长20.1%。煤炭运量9.8亿t,同比增长17.5%,2009年同期下降3.2%。据海关统计,煤炭出口1014万t,下降13.1%;;进
矩阵是线性代数及其应用的基础，而矩阵的秩是反映矩阵固有特性的一个重要概念，它是矩阵的一个数量特征，在线性方程组解的研究和求解等方面起着非常重要的作用，引起许多学者的关注
本文是本人对[Lau]的读书报告,并且基于本人对于[Lau]一年的报告的整理.从介绍Drinfeld模的定义开始,之后定义了带有水平结构的Drinfeld模空间(moduli space),[Lau]证明了这
众所周知,与线性系统相比,非线性系统对系统的刻画更精确,且更能展示系统的本质特征.它在实际工程应用中尤为常见,非线性系统的控制设计一直是控制理论领域中的研究热点和难
本文利用Jacquet-Rallis相对迹公式的方法证明了n=2时的加细Gross-Prasad猜想。
针对以鸡窝煤形式存在的煤层,传统的开采方式为炮采、单体支柱支撑及单体支柱推移中部槽进行开采。传统的开采方法效率低,劳动强度大,安全性差。为了减小劳动强度,方便使用,
摄像机标定是从二维图像获取三维信息必不可少的步骤，随着计算机视觉的发展，摄像机标定已成为该领域的研究热点之一.为了方便而精确的完成摄像机标定的任务，本文提出了用平面上