| 拟代数簇包含关系的判定算法 |
| |
| 引用本文： | 王继民,李廉.拟代数簇包含关系的判定算法[J].兰州大学学报(自然科学版),2002,38(1):6-10. |
| |
| 作者姓名： | 王继民 李廉 |
| |
| 作者单位： | 兰州大学,信息科学与工程学院,计算机科学系,甘肃,兰州,730000 |
| |
| 基金项目： | 国家重点基础研究发展规划“数学机械化与自动推理平台”资助项目 (G19980 30 6 ) |
| |
| 摘 要： | 判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 .利用一阶逻辑等价公式 ,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题 ,之后用 Grobner基方法加以判定 .文中给出了判定算法和计算实例
|
| 关 键 词： | 拟代数簇 包含关系 Grobner基方法 逻辑转换 判定算法 |
| 文章编号： | 0455-2059(2002)01-0006-05 |
A decidable algorithm for inclusion of quasi-algebraic varieties |
| |
| WANG Ji-min,LI Lian.A decidable algorithm for inclusion of quasi-algebraic varieties[J].Journal of Lanzhou University(Natural Science),2002,38(1):6-10. |
| |
| Authors: | WANG Ji-min LI Lian |
| |
| Abstract: | 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. |
| |
| Keywords: | quasi-algebraic variety inclusion Grbner bases method logic transformation decidable algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
