当前位置:首页 > 名称
大约有513,735项符合查询结果项。(搜索耗时:0.5616秒)
为您推荐: 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
-
-
-
-
-
小型机器人的基础技术与制作 挑战RoboCup小型机器人
NPO RoboCup日本委员会主编;(日)高桥友一等著;宗光华等译2004 年出版150 页ISBN:703013169X本书围绕着目前在全世界盛行的机器人足球比赛,详细介绍作为运动员的机器人制作方法,以及与其关连的事项和资料,主要有机器人的视觉信息处理技术,机器人制作,为实现高性能的技术,关连事项及关连资料等。...
-
高中数学公式定理大全
刘锡宝主编2012 年出版304 页ISBN:7508838645本丛书根据最新教材,针对最新高考趋势,以辞条收录的形式精心编写,集“学习性”“备考性”“可查找性”为一体,是学生平时学习和综合考试案头必备的精品工具书。...
-
Chaplygin定理
刘培杰数学工作室编译2017 年出版175 页ISBN:9787560364919本文将完整系统的拉格朗日定理推广到Chaplygin非完整系统,首先讨论了系统平衡的充要条件,其次对Chaplygin保守系统利用李亚普诺夫直接法和稳定性定义证明了推广的稳定性定理,最后举例说明定理的应用。...
-
-
学科分类
出版时间
