初等几何定理证明的Clifford代数方法  

作　　者：李洪波[1] 程民德[1] 

机构地区：[1]中国科学院系统所

出　　处：《数学进展》1997年第4期357-371,共15页Advances in Mathematics（China）

摘　　要：本文结合是吴方法及平面几何的Ｃｌｉｆｆｏｒｄ代数表示，提出了几何定理机器证明的一种完备的方法，用这种方法证明定理时，三角化的过程及证明的过程通常较以前的方法更简短而且它们是可以几何解释的。

关 键 词：CLIFFORD代数 几何定理 机器证明 初值几何定理 

分 类 号：O123[理学—数学]