论文部分内容阅读
GVW算法在Gr(o)bner基的理论与计算中是非常重要与有效的.文章引入一种新的S-多项式,利用GVW算法中的“top-约化”来约化S-多项式,进而给出同时计算理想的Gr(o)bner基及理想合冲模的首项的Gr(o)bner基的一种新算法,并且得到了一些有趣的结果.
S-多项式的新算法
【摘 要】
：
GVW算法在Gr(o)bner基的理论与计算中是非常重要与有效的.文章引入一种新的S-多项式,利用GVW算法中的“top-约化”来约化S-多项式,进而给出同时计算理想的Gr(o)bner基及理想
【机 构】
：
湖南科技大学数学与计算科学学院
【出 处】
：
系统科学与数学
【发表日期】
：
2004年期
其他文献
为了研究旋风分离器气相流场的特性,在稳态与非稳态下,采用雷诺应力方程模型(RSM)对一台气-固旋风分离器气相流场进行了数值模拟和计算,其中旋风分离器网格划分采用混合网格
从价值判断、总体布局、改造措施和后续利用四个层面介绍了2010上海世博会"后滩"地段老厂房的改造实践,探讨工来遗产保护适应都市生活变迁、带动城市更新、推动城市持续发展
基于2008年Zhou和Winkler给出的计算有限生成的差分-微分双滤模的希尔伯特多项式的算法,文章构造了差分-微分模上相对多个序的的Gr(o)bner基,并给出和证明了计算这种Gr(o)bne
在生态学中,可以用非线性反应扩散方程来描述种群在时间上的变化和在空间中的分布及扩散情况.对于扩散的生物种群模型,通过研究模型中方程的渐近性态,可以知道该种群是持续生
基于微分特征集理论和算法,提出在一定条件下判定偏微分方程(组)非古典对称存在性的机械化方法.该方法对Clarkson P A提出的关于偏微分方程(组)的非古典对称的公开问题给出了
可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分拆形式用于对不等式进行可读证明研究.讨论
函数分解问题是一个重要的数学问题，它被应用于多变量公钥密码系统的设计中．作者主要关注函数分解问题的判定性问题，将整系数多变元多项式方程求解问题与函数分解问题建立起了一
基于高小山,J.Van der Hoeven等人2009年提出的微分-差分(DD)特征列方法理论,针对微分-差分系统的一些特性,在原有理论方法的基础上进行改进与补充,对升列,导元,约化等概念重
将Ore-Sato定理的q-模拟由非混合情形推广到混合情形,证明了可驯条件下,混合q-超几何项可以分解为有理函数与q-阶乘项的乘积.
基于Lin-Bose猜想,研究l×m阶矩阵MLP分解问题,利用l×m阶矩阵的2×2级子式、矩阵的元素来刻画矩阵MLP分解的条件,得到一些有趣的结果,并给出多元多项式矩阵有MLP分解的新判