《几何代数的形式化与初步应用》978-7-03-063033-9.pdf-关永著-电子书下载-云上书馆

下载本书 下载格式： pdf格式 epub格式 接收邮箱(本功能测试中)： 分享给好友: 几何代数的形式化与初步应用; 作者：关永著; 出版社：科学出版社; ISBN：978-7-03-063033-9; 出版年：2020

几何代数的形式化与初步应用简介

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

几何代数的形式化与初步应用电子版图书下载地址：