REDUCE对几何定理机器证明的应用

原文传递

导出

摘要本文以三个例子——Feuerbach 定理、Pappus 线图象、Simson 定理的机器证明为例说明计算机代数软件 REDUCE 对几何定理的机械化证明的应用.

作者张家驹

机构地区中国科学院上海分院测试计算中心

出处《数学的实践与认识》 CSCD 北大核心 1991年第3期51-56,共6页 Mathematics in Practice and Theory

关键词 REDUCE 几何定理机器证明

参考文献2

1张景中.几何定理机器证明20年[J].科学通报,1997,42(21):2248-2259. 被引量：7
2钟秀琴,符红光,丁盘苹.基于本体与Prolog的平面几何定理证明[J].电子科技大学学报,2011,40(3):429-434. 被引量：4
3梁芳.几何定理机器证明的方法——吴方法思想的形成[J].数学通报,2003,42(6):4-6. 被引量：3
4李永彬.几何定理机器证明的扩WE分解算法[J].四川大学学报（自然科学版）,2000,37(3):331-335. 被引量：1
5江建国,张景中,王晓京.多项式等式型几何定理的可读证明[J].计算机学报,2008,31(2):207-213. 被引量：6
6张景中.勾股定理证明的“再生”[J].数学教学通讯（新课标中考数学）,2008(6):14-15.
7李晓霞,陈强.本体推理在几何定理机器证明中的应用[J].计算机技术与发展,2013,23(9):78-81.
8郭澄东.中考新动向——平面图形拼接与分割[J].中学数学研究（华南师范大学）（上半月）,2005(10):22-23.
9张景中,李永彬.几何定理机器证明三十年[J].系统科学与数学,2009,29(9):1155-1168. 被引量：10
10Yong-BinLi,LiuWu,Xiao-LinXiang.几何定理机器证明的强正常升列分解算法[J].Journal of Computer Science & Technology,2004,19(C00):27-27.

数学的实践与认识

1991年第3期

内容加载中请稍等...