应用数学学报
應用數學學報
응용수학학보
ACTA MATHEMATICAE APPLICATAE SINICA
2007年
5期
891-902
,共12页
曹南斌%李洪波%张盛鹏
曹南斌%李洪波%張盛鵬
조남빈%리홍파%장성붕
共形几何代数%零括号代数%符号几何计算%几何分解
共形幾何代數%零括號代數%符號幾何計算%幾何分解
공형궤하대수%령괄호대수%부호궤하계산%궤하분해
本文主要讨论了利用共形几何代数来进行几何定理中的几何构型进行几何分解的算法以及它的程序实现问题.利用这个算法可以给出几何量之间的定量依赖关系.所实现的程序能够给出一些较为复杂的几何命题的自动分解的结果.
本文主要討論瞭利用共形幾何代數來進行幾何定理中的幾何構型進行幾何分解的算法以及它的程序實現問題.利用這箇算法可以給齣幾何量之間的定量依賴關繫.所實現的程序能夠給齣一些較為複雜的幾何命題的自動分解的結果.
본문주요토론료이용공형궤하대수래진행궤하정리중적궤하구형진행궤하분해적산법이급타적정서실현문제.이용저개산법가이급출궤하량지간적정량의뢰관계.소실현적정서능구급출일사교위복잡적궤하명제적자동분해적결과.
