拟代数簇包含关系的判定算法  

A decidable algorithm for inclusion of quasi-algebraic varieties

作　　者：王继民[1] 李廉[1] 

机构地区：[1]兰州大学信息科学与工程学院计算机科学系,甘肃兰州730000

出　　处：《兰州大学学报（自然科学版）》2002年第1期6-10,共5页Journal of Lanzhou University(Natural Sciences)

基　　金：国家重点基础研究发展规划"数学机械化与自动推理平台"资助项目 (G19980 30 6 )

摘　　要：判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 .利用一阶逻辑等价公式 ,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题 ,之后用 Grobner基方法加以判定 .The problem of deciding inclusion of quasi-algebraic varieties can not be determined by computing their saturated ideals respectively.In this paper by applying some equivalent formulas in first-order logic,this problem is transformed into one which checks whether another quasi-algebraic variety is empty.Thus it can be solved by Grebner bases method.An decidable algorithm and a computational example are given here.

关 键 词：拟代数簇 包含关系 逻辑转换 判定算法 Groebner基方法 一阶逻辑等价公式 拟代数集 

分 类 号：O187.2[理学—数学]