購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
精确
模式”搜“
关永等 關永等
”共有
4
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
拉格朗日力学理论的形式化与机器人动力学形式化分析
『简体书』 作者：关永等 出版：科学出版社 日期：2022-05-01 《拉格朗日力学理论的形式化与机器人动力学形式化分析》以拉格朗日力学理论与自动定理证明思想为指导，系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、 ... |
詳情>> | |
 |
几何代数的形式化与初步应用
『简体书』 作者：关永，李黎明，施智平 出版：科学出版社 日期：2020-05-01 《几何代数的形式化与初步应用》以几何代数理论体系与自动定理证明思想为指导，系统深入地研究了几何代数的形式化理论与公理化体系，构建了一个兼具代数推理和几何解算能力的统一形式化数学定理体系，对代数与几何从概念上进行了融合与拓展、从描述方法和运算 ... |
詳情>> | |
 |
哈密顿力学理论的形式化与机器人动力学形式化分析
『简体书』 作者：施智平，王国辉，关永，王瑞 出版：科学出版社 日期：2022-09-01 本书系统深入地研究了辛几何理论、哈密顿动力学的公理化体系，并以四自由度串联机器人为例，研究了基于哈密顿动力学系统的形式化分析与验证方法的应用，为机器人动力学的安全设计提供了形式化验证理论和技术手段。全书主要内容包括：哈密顿模型的几何基础—— ... |
詳情>> | |
 |
矩阵结构与矩阵函数的形式化
『简体书』 作者：施智平，吴爱轩，关永，王国辉，张倩颖 出版：科学出版社 日期：2023-09-01 本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物 ... |
詳情>> | |
| >>> （頁碼:1/1 行數:20/4） 1 |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |