大约有20,000项符合查询结果项。（搜索耗时：0.0111秒）
为您推荐： 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
-
挑战思维极限 勾股定理的365种证明
李迈新编著2016 年出版248 页ISBN：9787302458791本书主要介绍了勾股定理的365种证明方法。并按证法的类型进行归纳、整理和总结。让读者有一个系统和全面的了解。大多数证法用到的知识范围不超过初中几何的教学内容，许多证法思路巧妙，别具一格，对提高读者的...
-
-
-
代数几何中的Bezout定理
佩捷2016 年出版569 页ISBN：9787560356624代数几何是数学中的一个重要分支，国内外很多著名的数学家都从事过对它的研究。本书共分十章，分别为：一道背景深刻的IMO试题、多项式的简单预备知识、代数几何中的贝祖定理的简单情形、射影空间中的交、代数几...
-
机器学习实践指南 案例应用解析
麦好著2016 年出版526 页ISBN：9787111540212全书分为准备篇、基础篇、统计分析实战和机器学习实战篇。由于目前出版的机器学习大多偏重理论，这对机器学习类书籍的读者带来了极大的挑战，抽象的理论加上成堆的数学公式将大量渴求学习的人们挡在了门外。针...
-
-
流过的泪是爱过的证明
秋日细雨著2016 年出版294 页ISBN：7511360688本书是一本散文集，包括叙事、抒情，无论是爱情或亲情，人物或风景，每篇文章作者均以最独特的写作风格展示文字的精彩，文字是一场华丽的盛宴，也是人类精神丰富的粮食，本书的文字贴近生活，寓于抒情，能让读者体会......
-
数学写真集 无需语言的证明 第3季
范兴亚，管涛，程晓亮编著2016 年出版110 页ISBN：9787111536499本书由一百多个“无需语言的证明”的图片组成，每一个都非常精彩。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集。书中的素材选取自国际顶尖数...
-
从Stewart定理的表示谈起 向量理论漫谈
沈文选，杨清桃著2016 年出版737 页ISBN：9787560358741本书介绍了向量的概念及运算，研究并举例说明了一些特殊数学关系的向量表示，给出了一些著名平面几何定理的向量法证明。以较大篇幅介绍了如何运用向量知识处理中学代数问题、平面几何问题、立体几何问题，还介绍...