关永
  1. 首页
  2. 关永

列表

拉格朗日力学理论的形式化与机器人动力学形式化分析

拉格朗日力学理论的形式化与机器人动力学形式化分析

《拉格朗日力学理论的形式化与机器人动力学形式化分析》,作者:关永等 著 出版社:科学出版社 ISBN:9787030720979。本书以拉格朗日力学理论与自动定理证明思想为指导，系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函
壹号书单 2022年05月01日
几何代数的形式化与初步应用

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

《几何代数的形式化与初步应用》,作者:关永,李黎明,施智平 著 出版社:科学出版社 ISBN:9787030630339。本书以几何代数理论体系与自动定理证明思想为指导，系统深入地研究了几何代数的形式化理论与公理化体系，构建了一个兼具代数推理和几何解算能力的统一形式化数学定理体系，对代数与几何从概念上进行了融合与拓展、从描述方法和运算法则上进行了综合与归纳，为代数理论赋予了“形”的特征，为几何理论
壹号书单 2020年05月01日