本文主要讨论了利用共形几何代数来进行几何定理中的几何构型进行几何分解的算法以及它的程序实现问题.利用这个算法可以给出几何量之间的定量依赖关系.所实现的程序能够给出一些较为复杂的几何命题的自动分解的结果.
In this paper, we discussed geometric decomposition and automatic decomposition with CGA(conformal geometric algebra) ,and gave some example of geometric decomposition using the programme of automatic decomposition with CGA. With this programme, we can decompose some complicated geometric theorem automaticlly.