|
|||||
|
|
| 线性方程组对于量词的可满足性 | |
| 引用本文： | 李廉,李慧陵,刘义循.线性方程组对于量词的可满足性[J].中国科学A辑,1992,35(7):673-679. |
| 作者姓名： | 李廉 李慧陵 刘义循 |
| 作者单位： | (1) 兰州大学计算机系 兰州 730000 (2) 浙江大学应用数学系 杭州 310027 |
| 摘 要： | 本文讨论有关主理想环上线性方程组对于量词组合的可满足性问题,特别是当全称量词和存在量词混合出现的情形.它的背景之一是模上的线性定理的机械化证明.我们对此问题得到了一个算法型的充要条件,该方法对量词未做任何限制.进而讨论了在有限生成Abel群、初等数论、向量空间、多元多项式环等领域中的应用. |
| 关 键 词： | 模 定理机器证明 线性方程组 代数符号计算 |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 | |
| 点击此处可从《中国科学A辑》下载免费的PDF全文 | |