王定康

作品数：2被引量：5H指数：1
导出分析报告
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室更多>>
发文主题：GR布尔环GROEBNER基多项式理想终止性更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《系统科学与数学》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
布尔环上的分支Grbner基算法被引量：5
《系统科学与数学》2009年第9期1266-1277,共12页孙瑶 王定康 
国家自然科学基金(NSFC60821002/F02,10771206)资助
众所周知Grbner基在很多领域都有着十分重要的应用.近些年来Grbner基算法有了很大的改进,其中最著名的是Faugère提出的F4和F5算法.这两个算法具有很高的效率但通常需要消耗大量的内存.鉴于此,将给出一个布尔环上基于zdd数据结构的...
关键词：分支Groebner基 布尔环 zdd数据结构 
分区参数Grbner基的计算
《系统科学与数学》2005年第2期129-138,共10页李鹏 陈雪峰 王定康 
本工作得到"973"项目(2004CB318000)的资助.
对于含参数的多项式理想,提出了分区参数Grbner基的概念,并且给出了一个计算分区参数Grbner基的算法,证明了该算法的正确性和终止性.
关键词：分区 GROEBNER基 计算 多项式理想 含参数 终止性 正确性 算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部