| 几何定理的机器证明--每个中国数学教师都应懂得的方法 |
| |
| 引用本文： | 田长生.几何定理的机器证明--每个中国数学教师都应懂得的方法[J].广东技术师范学院学报,2003(6):82-84. |
| |
| 作者姓名： | 田长生 |
| |
| 作者单位： | 广东技术师范学院,计算机科学系,广东,广州,510665 |
| |
| 摘 要： | 本文着重介绍了几何定理的机器证明的开拓者和奠基人——吴文俊院士创立的“吴法”及其主要成员张景中院士的“消标点法”和杨路教授的“降维算法”。
|
| 关 键 词： | 几何定理 机器证明 吴法 消点算法 降维算法 中国 数学教师 |
| 文章编号： | 1672-402X(2003)06-0082-03 |
| 修稿时间： | 2003年9月8日 |
Mechanical Theorem Proving in Geometry |
| |
| Tian Changsheng.Mechanical Theorem Proving in Geometry[J].Journal of Guangdong Polytechnic Normal University,2003(6):82-84. |
| |
| Authors: | Tian Changsheng |
| |
| Abstract: | In this paper, we present three kind of computerized methods for geometrical theorem proving, the first is Prof. Wu Wenjun who introduced the method of equations solving, i. e., the polynomials system solving, known as Wu' s method in the international community, Wu' s method makes the highly effective automatic proving of the geometrical theorems possible for the first time, and his contribution leads the Chinese mathematics into the top position in this field of the world, the second is Prof. Zhang jingzhong, known ad Elimination Point Method. And the third is Prof. Yang lu, known as lower Dimension Method. |
| |
| Keywords: | Mechanical Proving Wu's Method Elimination Point Method lower Dimension Method |
| 本文献已被 CNKI 维普 等数据库收录！ |
