当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0301秒)
为您推荐: 机器基础的振动分析与设计 编写组编 十四院校 文学理论基础 编写组编 新会计制度下的财务分析 编写组编 简便模具设计与制造 编写组编 地下建筑规划与设计 编写组编 职业高中服装设计与工艺专业教材编写组编
-
-
几何定理机器证明的几何不变量方法
张景中,高小山,周咸青著2015 年出版318 页ISBN:9787030440662用计算机自动证明某一类型几何定理,甚至某一种几何全部定理的原理和方法。从理论角度看,几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤,才能编制程序并在计算机上实现。可用机器证明的几何定...
-
数学分析的方法与题解
赵显曾,黄安才编著2005 年出版911 页ISBN:7561332866本书针对学习数学分析这门课程的学生所编写,对知识进行了全面梳理,对各种典型题进行了重点评讲,以帮助学生在学习中进一步理解掌握所需的知识点,提高自己在这一门学科上的知识水平。...
-
-
-
脉冲系统的分析与控制
孙继涛,张瑜,赵寿为著2013 年出版288 页ISBN:7030363299本书详细阐述脉冲系统的定性理论与控制方法的最新研究成果,主要包括脉冲系统的稳定性理论、可控可观性理论,时滞脉冲系统的稳定性理论和边值问题,以及随机和离散脉冲系统的控制理论等。可作为高等院校数学专业...
-
-
-
-
学科分类