初等几何定理证明的Clifford代数方法 |
| |
引用本文: | 李洪波,程民德.初等几何定理证明的Clifford代数方法[J].数学进展,1997,26(4):357-371. |
| |
作者姓名: | 李洪波 程民德 |
| |
摘 要: | 本文结合是吴方法及平面几何的Clifford代数表示,提出了几何定理机器证明的一种完备的方法,用这种方法证明定理时,三角化的过程及证明的过程通常较以前的方法更简短而且它们是可以几何解释的。
|
关 键 词: | Clifford代数 几何定理 机器证明 初值几何定理 |
本文献已被 维普 等数据库收录! |
|