王定康
- 作品数：2 被引量：5H指数：1
- 供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 分区参数Grbner基的计算
- 2005年
- 对于含参数的多项式理想,提出了分区参数Grbner基的概念,并且给出了一个计算分区参数Grbner基的算法,证明了该算法的正确性和终止性.
- 李鹏陈雪峰王定康
- 关键词：GROEBNER基多项式理想终止性
- 布尔环上的分支Grbner基算法被引量：5
- 2009年
- 众所周知Grbner基在很多领域都有着十分重要的应用.近些年来Grbner基算法有了很大的改进,其中最著名的是Faugère提出的F4和F5算法.这两个算法具有很高的效率但通常需要消耗大量的内存.鉴于此,将给出一个布尔环上基于zdd数据结构的分支Grbner基算法,该算法不仅可以大大降低对内存的消耗,还能有效的控制矩阵规模,从而提高算法的整体效率.详细阐述并证明了算法的基本理论,介绍该分支算法的数据结构及分支策略.最后通过实验数据可以发现,在很多例子中此算法都要优于Magma中的F4算法.
- 孙瑶王定康
- 关键词：布尔环
