当前位置:首页 > 名称
大约有4,000项符合查询结果项。(搜索耗时:0.0185秒)
为您推荐: 广西壮族自治区农业技术推广总站 辽宁省农业技术推广总站 广西壮族自治区农业机械化技术推广总站 press农业部渔业局 全国水产技术推广总站 农业部全国农业技术推广总站 全国农业技术推广服务中心
-
-
-
积分方程求解及其机械化
王玮明著2008 年出版145 页ISBN:9787542412348积分方程是继微分方程之后出现的一个新的近代数学的重要分支,也是科学研究和解决工程技术问题的重要工具之一,具有广泛的应用。方程求解时积分方程的热点和难点之一。本书在前人研究的基础上,利用吴文俊院士所...
-
-
-
吴文俊全集 数学机械化卷 4
吴文俊著;高小山编订2019 年出版234 页ISBN:9787508855530本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士,第三世界科学院院士,中...
-
吴文俊全集 数学机械化 2
吴文俊著;高小山编订2019 年出版288 页ISBN:9787508855516本卷由吴文俊的书Machanical Theoren Provingin Goemetries组成。本书可作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。吴文俊,研究员,中国科学院数学与系统科学研究...
-
流体机械 流体力学与流体机械
张景松,陈更林编著2010 年出版347 页ISBN:9787564607135本书主要介绍流体静力学、流体运动学和流体动力学基本理论,包括管路特性、绕流阻力、明渠流计算、相似理论等。
-
-
学科分类