几何代数的形式化与初步应用 作者：关永，李黎明，施智平 著出版时间： 2020年版内容简介　　《几何代数的形式化与初步应用》以几何代数理论体系与自动定理证明思想为指导，系统深入地研究了几何代数的形式化理论与公理化体系，构建了一个兼具代数推理和几何解算能力的统一形式化数学定理体系，对代数与几何从概念上进行了融合与拓展、从描述方法和运算法则上进行了综合与归纳，为代数理论赋予了...

上一篇：几何作图 李路生主编 2018年版
下一篇：几何世界的邀请 （日）小平邦彦著 李慧慧译 2017年版