当前位置:首页 > 名称
大约有513,735项符合查询结果项。(搜索耗时:1.0950秒)
为您推荐: 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
-
-
-
-
-
-
-
行走的机器 六足机器人
宋新明(Shin-Min Song),(美)沃尔德伦(Kenneth J.Waldron)2017 年出版199 页ISBN:9787517054610本书英文版由麻省理工出版社出版,以ASV车辆作为样本为读者展示了步行机械设计的设计流程和计算方法,是一本理论和工程实践兼顾的好书。本书的主要内容有:步行机械的发展历程及其潜在价值、步行机械的步态理论...
-
流形上的微积分 双语版 高等微积分中的一些经典定理的现代化处理 a modern approach to classical theorems of advanced calculus
(美)Michael Spivak著;齐民友,路见可译2006 年出版350 页ISBN:7115142246本书对于高等微积分的一些经典定理作了现代化的处理。利用微分流形及外微分形式,简明而系统地讨论了多元涵数微积分。
-
学科分类
出版时间
