期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

几何定理机器证明研究展望被引量：1

下载PDF

导出

摘要几何定理的机器证明在自动推理的研究中占有重要的地位。今后１０到２０年间，几何定理机器证明的传统化，几何作图问题的机器求解，几何不等式的机器证明和自动生成，微分几何的机器证明，将有显著的进展。几何问题机器求解的研究成果，会在实际应用中发挥更大的作用。

作者张景中

机构地区成都计算机应用研究所

出处《中国科学院院刊》 1997年第2期88-91,共4页 Bulletin of Chinese Academy of Sciences

关键词几何定理机器证明自动推理几何不等式

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

引文网络
相关文献

同被引文献5

1陈玉泉,陆汝占,余皓.基于配对方法的自动定理证明[J].软件学报,1997,8(4):271-277. 被引量：1
2曾黄麟.粗集理论及其应用[M].重庆：重庆大学出版社,1996..
3张景中,李永彬.几何定理机器证明三十年[J].系统科学与数学,2009,29(9):1155-1168. 被引量：10
4张景中,李传中.自动推理与教育软件智能平台[J].广州大学学报（综合版）,2001,15(2):1-6. 被引量：12
5杨路,夏时洪.一类构造性几何不等式的机器证明[J].计算机学报,2003,26(7):769-778. 被引量：37

引证文献1

1李凯,董春玲,赵克.基于领域的机器定理证明的研究[J].航空计算技术,2010,40(2):80-83.

1吴文俊.几何定理机器证明[J].自然科学进展（国家重点实验室通讯）,1992,2(1):1-14. 被引量：3
2张景中,李永彬.几何定理机器证明三十年[J].系统科学与数学,2009,29(9):1155-1168. 被引量：10
3徐嘉,姚勇,张景中.n-单形的m阶等分点集与零多项式的判定[J].数学学报（中文版）,2014,57(2):311-320.
4徐嘉,姚勇.一个三角不定方程的机器解法[J].系统科学与数学,2011,31(7):786-793.
5李永彬.几何定理机器证明的扩WE分解算法[J].四川大学学报（自然科学版）,2000,37(3):331-335. 被引量：1
6张景中.几何定理机器证明20年[J].科学通报,1997,42(21):2248-2259. 被引量：7
7梁芳.几何定理机器证明的方法——吴方法思想的形成[J].数学通报,2003,42(6):4-6. 被引量：3
8李洪波.Clifford代数与几何定理机器证明[J].世界科技研究与发展,2001,23(3):41-47. 被引量：3
9张景中.几何问题的机器求解[J].科学,2001,53(2):20-23. 被引量：3
10蒋青松.符号—数值混合方法求解偏微分方程的算法设计与实现[J].塔里木大学学报,2009,21(4):22-25.

中国科学院院刊

1997年第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部