《拉格朗日力学理论的形式化与机器人动力学形式化分析》978-7-03-072097-9.pdf-关永著-电子书下载-云上书馆

下载本书 下载格式： pdf格式 epub格式 接收邮箱(本功能测试中)： 分享给好友: 拉格朗日力学理论的形式化与机器人动力学形式化分析; 作者：关永著; 出版社：科学出版社; ISBN：978-7-03-072097-9; 出版年：2022

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

本书内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域，以拉格朗日力学理论与自动定理证明思想为指导，研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。

拉格朗日力学理论的形式化与机器人动力学形式化分析电子版图书下载地址：