代数集

作品数：13被引量：0H指数：0
导出分析报告
相关领域：理学更多>>
相关作者：贺文青朱怡权唐万生王明生李廉更多>>
相关机构：长沙理工大学中国科学院大学广西民族学院保险职业学院更多>>
相关期刊：《系统科学与数学》《应用数学进展》《数学译林》《东北师大学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划湖南省教育厅重点项目广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
拟代数簇包含关系的判定算法
《兰州大学学报（自然科学版）》2002年第1期6-10,共5页王继民 李廉 
国家重点基础研究发展规划"数学机械化与自动推理平台"资助项目 (G19980 30 6 )
判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 .利用一阶逻辑等价公式 ,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题 ,之后用 Grobner基方法加以判定 .
关键词：拟代数簇 包含关系 逻辑转换 判定算法 Groebner基方法 一阶逻辑等价公式 拟代数集 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部