当前位置：首页 > 名称
大约有5,000项符合查询结果项。（搜索耗时：0.0130秒）
为您推荐： 中华人民共和国第一机械工业部第二机器工业管理局 第一机械工业部第二机器工业管理局译 中华人民共和国第一机械工业部第四机器工业管理局译 第一机械工业部 机器工业管理局译 第一机械工业部第六机器工业管理局 第一机械工业部电器工业管理局译
-
-
-
-
几何定理机器证明的基本原理 初等几何部分
吴文俊著2010 年出版234 页ISBN：97870302837711984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
-
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
-
-
-
-
用图形计算器学微积分 图形计算机器与大学数学
俞正光，张静，段耀武等编2008 年出版203 页ISBN：9787302183570本书以图形计算器HP39gs为例介绍如何利用图形计算器学习一元微积分。
学科分类