几何代数在定理证明中的消元与化简算法

曹源昊;李洪波

Algorithms of Elimination and Simplification Based on Geometric Algebra in Automatic Proving of Geometric Theorem

CAO Yuanhao;LI Hongbo

系统科学与数学 . 2009, (9): 1189 -1199 . DOI: 10.12341/jssms08450