| 重心坐标应用于几何定理的机械化证明 |
| |
| 引用本文： | 黄明.重心坐标应用于几何定理的机械化证明[J].南京航空航天大学学报,1989(4). |
| |
| 作者姓名： | 黄明 |
| |
| 作者单位： | 南京航空学院数理力学系 |
| |
| 摘 要： | 用机械化方法证明几何定理,适当选取坐标系是一个关系到问题解决得难易程度的重要步骤。本文是在重心坐标下,用机械化方法证明非平凡几何定理。
|
| 关 键 词： | 坐标系 几何 机械化理论 重心坐标 |
Proof of Mechanization for Geometry Theorem by Gravity Center coodinate |
| |
| Huang Ming.Proof of Mechanization for Geometry Theorem by Gravity Center coodinate[J].Journal of Nanjing University of Aeronautics & Astronautics,1989(4). |
| |
| Authors: | Huang Ming |
| |
| Abstract: | In applying the method of mechanization to verifying geometric problems, to choose a proper coordinate system is an important step that concerns the complexity of the solution to the problem. In this paper, a proof of several non-trivial geometric theorem is given by use of choosing proper gravity center coordinate under the method of mechanization. |
| |
| Keywords: | coordinate system geometry mechanization theory gravity center coordinates |
| 本文献已被 CNKI 等数据库收录！ |
