| Proving Theorems in Elementary Geometry with Clifford Algebraic Method |
| |
| 作者姓名： | 李洪波 程民德 |
| |
| 作者单位： | 中国科学院系统所(李洪波)，北京大学数学所(程民德) |
| |
| 摘 要： | 本文结合吴方法及平面几何的Ｃｌｉｆｏｒｄ代数表示，提出了几何定理机器证明的一种完备的方法．用这种方法证明定理时，三角化的过程及证明的过程通常较以前的方法更简短而且它们是可以几何解释的．
|
| 关 键 词： | Clifford代数 吴方法 几何定理机器证明 |
Proving Theorems in Elementary Geometry with Clifford Algebraic Method |
| |
| Li Hongbo.Proving Theorems in Elementary Geometry with Clifford Algebraic Method[J].Advances in Mathematics,1997(4). |
| |
| Authors: | Li Hongbo |
| |
| Abstract: | In this paper a complete method, based on Wu's method and Clifford algebraic representation of plane geometry, is proposed for mechanical geometry theorem proving. Both the triangulation procedure and the proving procedure by this method are often short and geometrically interpretable. |
| |
| Keywords: | Clifford algebra Wu's method mechanical geometry theorem proving |
| 本文献已被 CNKI 等数据库收录！ |
