《表1 几何代数基本运算在定理证明库中的表示》
提示：宽带有限、当前游客访问压缩模式
几何代数建立在多重向量空间上，其基本元素为多重向量．几何代数运算主要包括内积、外积和几何积．在使用过程中，内积还分为一般内积、左缩积、右缩积和标量积四种．在HOL Light定理证明库中，几何代数基本运算如表1所示．几何代数基本运算不依赖研究对象的坐标系统，只与坐标基之间的相对位置有关．其运算规则符合双线性、结合律和分配律等基本性质，有效的统一了标量运算、矢量运算、维度运算和几何运算．
| 图表编号 | XD00141239700 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2020.02.01 |
| 作者 | 王国辉、许京然、刘永梅、施智平、关永 |
| 绘制单位 | 首都师范大学信息工程学院电子系统可靠性技术北京市重点实验室、首都师范大学北京成像理论与技术高精尖创新中心、北京城市学院信息学部、首都师范大学信息工程学院电子系统可靠性技术北京市重点实验室、首都师范大学电子系统可靠性与数理交叉学科国家国际科技合作示范型基地、首都师范大学北京成像理论与技术高精尖创新中心、首都师范大学电子系统可靠性与数理交叉学科国家国际科技合作示范型基地、首都师范大学信息工程学院电子系统可靠性技术北京市重点实验室、首都师范大学电子系统可靠性与数理交叉学科国家国际科技合作示范型基地 |
| 更多格式 | 高清、无水印（增值服务） |
