几何代数的形式化与初步应用
《几何代数的形式化与初步应用》,作者:关永,李黎明,施智平 著 出版社:科学出版社 ISBN:9787030630339。本书以几何代数理论体系与自动定理证明思想为指导，系统深入地研究了几何代数的形式化理论与公理化体系，构建了一个兼具代数推理和几何解算能力的统一形式化数学定理体系，对代数与几何从概念上进行了融合与拓展、从描述方法和运算法则上进行了综合与归纳，为代数理论赋予了“形”的特征，为几何理论
施智平
哈密顿力学理论的形式化与机器人动力学形式化分析
《哈密顿力学理论的形式化与机器人动力学形式化分析》,作者:施智平等 著 出版社:科学出版社 ISBN:9787030532046。本书系统深入地研究了辛几何理论、哈密顿动力学的公理化体系，并以四自由度串联机器人为例，研究了基于哈密顿动力学系统的形式化分析与验证方法的应用，为机器人动力学的安全设计提供了形式化验证理论和技术手段。全书主要内容包括：哈密顿模型的几何基础——辛流形空间的形式化、哈密顿模型
矩阵结构与矩阵函数的形式化
《矩阵结构与矩阵函数的形式化》,作者:施智平等 著 出版社:科学出版社 ISBN:9787030763303。《矩阵结构与矩阵函数的形式化》系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建
