当前位置：首页 > 名称
大约有429,282项符合查询结果项。（搜索耗时：0.4240秒）
为您推荐： 薛定宇教授大讲堂 卷matlab微分方程求解 各向异性介质中的耗散波 基于频散方程求解的波动特性研究 稀疏线性方程组的高效求解与并行计算 从求解多项式方程到阿贝尔不可能性定理 分析基础机器证明系统 机器证明
-
-
-
-
-
-
-
常微分方程与用Maple，Matlab求解
钟益林，彭乐群，刘炳文编著2007 年出版312 页ISBN：7302153914本书系统介绍在Maple，Matlab两个平台中实现基础理论与基本方法求解常微分方程的方法。
-
可积系统与非等谱孤子方程的求解
孙业朋作2009 年出版173 页ISBN：9787811185119本书收录了2006年上海大学博士论文52篇，通过公开出版，使论文作为公共知识，转化成社会财富，产生社会影响。
-
素数分布方程理论与证明
刘长华著2017 年出版189 页ISBN：9787533774080本书是一本数学方面的学术专著。作者提出素数分布理论，总结、归纳了素数分布方程的特征与性质，证明了在八个等差数列中，素数的个数都是近似相等的，这一成果改进了埃氏筛法，建立了偶数的15种类型64个方程，为孪生.....
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
学科分类
出版时间