形式

几何代数的形式化与初步应用.pdf

本书以几何代数理论体系与自动定理证明思想为指导,系统深入地研究了几何代数的形式化理论与公理化体系,构建了一个兼具代数推理和几何解算能力的统一形式化数学定理体系,对代数与几何从概念上进行了融合与拓展、从描述方法和运算法则上进行了综合与归纳,为代数理论赋予了“形”的特征,为几何理论提