收藏本站
《广州大学学报(自然科学版)》 2002年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一类构造性几何定理并行数值检验证明机(英文)

杨路  张景中  李传中  
【摘要】:为实现构造性几何定理机器证明的数值并行法 ,作者提供了一个证明机 ,它适用于由所谓“直线程序”构造的语句

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 潘斌;郭红霞;;几何定理并行验证算法研究[J];计算机工程;2007年01期
中国博士学位论文全文数据库 前1条
1 陈良育;并行符号算法若干问题的研究与应用[D];华东师范大学;2008年
中国硕士学位论文全文数据库 前1条
1 沈盈;构造性和非构造性几何命题证明方法[D];宁波大学;2008年
【同被引文献】
中国期刊全文数据库 前10条
1 杜家堡;一个Heilbronn型问题的下界[J];湖南教育学院学报;1995年05期
2 杨路;计算机怎样证明几何不等式[J];广州大学学报(自然科学版);2004年02期
3 张景中,李传中;自动推理与教育软件智能平台[J];广州大学学报(综合版);2001年02期
4 田正平;用数学软件研究Heilbronn型问题[J];杭州师范学院学报(自然科学版);2003年04期
5 吴文俊;ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY[J];Science in China,Ser.A;1978年02期
6 吴文俊;初等几何判定问题与机械化证明[J];中国科学;1977年06期
7 洪加威;能用例证法来证明几何定理吗?[J];中国科学(A辑 数学 物理学 天文学 技术科学);1986年03期
8 张景中;杨路;侯晓荣;;代数方程组相关性的一个判准及其在定理机器证明中的应用[J];中国科学(A辑 数学 物理学 天文学 技术科学);1993年10期
9 杨路;姚勇;冯勇;;Tarski模型外的一类机器可判定问题[J];中国科学(A辑:数学);2007年05期
10 冯勇,陈光喜,符红光,曾振柄;基于Linux下的高性能符号计算平台的实现[J];计算机工程与应用;2003年15期
【二级引证文献】
中国期刊全文数据库 前2条
1 潘斌;郭红霞;;MPI环境下的几何定理并行自动推理[J];电子科技大学学报;2008年06期
2 何怡芝;;并行算法性能简析[J];电子设计工程;2012年11期
中国博士学位论文全文数据库 前1条
1 陈良育;并行符号算法若干问题的研究与应用[D];华东师范大学;2008年
【相似文献】
中国期刊全文数据库 前10条
1 王继民,田亚菲,程建军;求直线程序通用输入的算法[J];甘肃科学学报;1999年03期
2 ;定理机器证明的开拓者——记著名计算机科学家张景中院士罗炎明[J];科学中国人;1998年06期
3 潘斌;郭红霞;;几何定理并行验证算法研究[J];计算机工程;2007年01期
4 邵斌;定理机器证明的图论法初探[J];湖州师范学院学报;2001年03期
5 潘斌;郭红霞;;MPI环境下的几何定理并行自动推理[J];电子科技大学学报;2008年06期
6 印鉴;一种对象检索模型[J];小型微型计算机系统;2000年08期
7 印鉴,李师贤;一种基于事例推理的检索模型[J];中山大学学报(自然科学版);1999年02期
8 印鉴,汤庸;基于演化Agent的推理模型[J];小型微型计算机系统;2000年03期
9 曾云峰;;否证法十年来的发展[J];计算机研究与发展;1992年03期
10 陈龙猛,于仁师,郭树蓉;一个命题逻辑机器证明专家系统的研究与开发[J];莱阳农学院学报;1999年03期
中国重要会议论文全文数据库 前5条
1 何冠男;王龙;夏壁灿;郁文生;;比利时巧克力系统的低阶控制器设计[A];第二十六届中国控制会议论文集[C];2007年
2 杨路;;不等式机器证明的降维算法与通用程序[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
3 费定舟;;自动推理:它的内容、方法和意义[A];2001年逻辑研究专辑[C];2001年
4 裴峥;黄天民;吴建乐;;一种基于模糊-神经网络的Horn集上的归结[A];2001中国控制与决策学术年会论文集[C];2001年
5 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年
中国重要报纸全文数据库 前9条
1 本报记者 冯海波;用一生探索数学之美[N];广东科技报;2006年
2 记者 胡唯元;《中国科学》《科学通报》庆祝创刊60周年[N];科技日报;2010年
3 中国科学院院士 周光召;数学的国际交流与合作意义重大[N];光明日报;2002年
4 本报记者 杜军玲;今天的中国数学距离世界领先有多远[N];人民政协报;2002年
5 记者延宏实习生王婷婷;吴文俊院士再叙中国古代数学辉煌[N];科技日报;2002年
6 刘毅 宁启文;中国数学加快追赶步伐[N];人民日报;2002年
7 张景中;对四色问题的独特探讨[N];中华读书报;2008年
8 ;首届“四川创新人才奖”得主回眸[N];四川日报;2005年
9 记者段佳;高端论坛研讨信息科学发展热点[N];大众科技报;2010年
中国博士学位论文全文数据库 前3条
1 潘斌;几何定理机器证明并行算法研究[D];中国科学院研究生院(成都计算机应用研究所);2006年
2 刘全;基于tableau的自动推理研究[D];吉林大学;2004年
3 许有军;基于扩展规则的若干SAT问题研究[D];吉林大学;2011年
中国硕士学位论文全文数据库 前10条
1 闫丽慧;基于网格计算的定理自动证明研究[D];华东师范大学;2007年
2 程应娥;Isabelle中自动化证明策略的设计与实现[D];兰州大学;2007年
3 汤晓凌;集合论等式型定理机器证明系统的研究与开发[D];华东师范大学;2006年
4 张燕;函数微分、差分差商及连分数的Mizar实现研究[D];青岛科技大学;2007年
5 吴成龙;BCI-代数理想问题的计算机证明[D];青岛科技大学;2009年
6 樊继珍;非线性代数方程组理论引入高等代数课程研究[D];广州大学;2007年
7 贺玲琳;基于数值计算的几何不等式自动生成和证明系统[D];华东师范大学;2005年
8 黄洪涛;逻辑程序非基有限失败的语义[D];吉林大学;2004年
9 刘颖奇;基于网络数据共享的平面几何自动推理系统的研究[D];广州大学;2010年
10 刘振晗;基于广义归结的程序综合[D];大连理工大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026