期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

线性方程组对于量词的可满足性

原文传递

导出

摘要本文讨论有关主理想环上线性方程组对于量词组合的可满足性问题,特别是当全称量词和存在量词混合出现的情形.它的背景之一是模上的线性定理的机械化证明.我们对此问题得到了一个算法型的充要条件,该方法对量词未做任何限制.进而讨论了在有限生成Abel群、初等数论、向量空间、多元多项式环等领域中的应用.

作者李廉李慧陵刘义循

机构地区兰州大学计算机系浙江大学应用数学系兰州大学数学系

出处《中国科学（A辑）》 CSCD 1992年第7期673-679,共7页 Science in China(Series A)

基金国家自然科学基金

关键词线性方程组定理机械化证明量词

分类号 O153 [理学—基础数学]

引文网络
相关文献

1王天明,许玉霞.反演关系的机械化证明[J].大连理工大学学报,2000,40(1):9-10.
2徐永忠.“机器证明”第一人——吴文俊[J].数学大世界（教学导向）,2003(1):3-3.
3黄明.重心坐标在几何定理机械化证明中的应用[J].中国科学技术大学学报,1991,21(1):87-92.
4谭红艳,吴尽昭.一类初等几何定理的机械化证明[J].兰州大学学报（自然科学版）,1997,33(3):31-36.
5徐品方.数学定理的机械化证明[J].数学学习,2004,7(2):62-64. 被引量：1
6黄明.重心坐标应用于几何定理的机械化证明[J].南京航空学院学报,1989,21(4):121-124.
7陈翰馥.主编寄语[J].系统科学与数学,2009(10).
8陆斌,张鸿庆.弹性力学通解的完备性的机械化证明方法[J].泰安师专学报,2001,23(6):1-3.
9沈效良.重心坐标法证明几何定理[J].中国西部科技,2009,8(24):79-80. 被引量：1
10张涛,陈为华.浅谈几何与代数方法的有机结合思想[J].科技视界,2016(27):309-309. 被引量：1

中国科学（A辑）

1992年第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部