大约有6,000项符合查询结果项。（搜索耗时：0.0156秒）
为您推荐： 几何定理机器证明的案例 101个世界最著名的未解之谜 图利的猫 史上最著名的116个思想悖论 几何定理机器证明的基本原理 哲学与生活丛书 图利的猫 史上最著名的116个思想悖论 挑战思维极限 勾股定理的365种证明
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
-
挑战思维极限 勾股定理的365种证明
李迈新编著2016 年出版248 页ISBN：9787302458791本书主要介绍了勾股定理的365种证明方法。并按证法的类型进行归纳、整理和总结。让读者有一个系统和全面的了解。大多数证法用到的知识范围不超过初中几何的教学内容，许多证法思路巧妙，别具一格，对提高读者的...
-
-
代数几何中的Bezout定理
佩捷2016 年出版569 页ISBN：9787560356624代数几何是数学中的一个重要分支，国内外很多著名的数学家都从事过对它的研究。本书共分十章，分别为：一道背景深刻的IMO试题、多项式的简单预备知识、代数几何中的贝祖定理的简单情形、射影空间中的交、代数几...
-
计算几何 算法设计、分析及应用 第5版
周培德著2016 年出版845 页ISBN：9787302441601在第4版基础上补充作者于2011年至2014年期间的研究成果：大约90至100个计算算法，分布于新增的30节中。对第4版（除第1,2章外）各章增加了新的研究成果：3维空间平面群重建、点云处理，椭圆的逼近，隐形几何体的识别，点集...
-
一个定理的诞生 我与菲尔茨奖的一千个日夜
（法）塞德里克·维拉尼著；（法）克劳德·龚达尔绘；马跃，杨苑艺译2016 年出版238 页ISBN：71154070452010年，法国青年数学家塞德里克·维拉尼凭借对非线性朗道阻尼的证明以及对玻尔兹曼方程收敛至平衡态的研究，一举摘得菲尔茨奖章。维拉尼将以日记形式再现这段研究生涯，揭示一个数学定理的诞生历程，描绘数学家和...
-
-
概率统计中的平衡定理及线性特征参数
黄志新著2016 年出版183 页ISBN：9787306057259本书是作者多年研究概率统计的成果，结合多年工作经验编写而成。本书以概率统计中“一阶中心矩恒为0”定理，推导出一条全新的“平衡定理”，以及三均值公式，由此出发推导出一系列与以往不同、全新的线性特征参数（....
-
-
素数若干问题探析及证明
张尔光著2016 年出版187 页ISBN：9787568121323本著以“引子”引出欧几里得证明的疑点，对欧氏证明的疑点及其原因进行了解读；以素数中三个不可理解性问题为切入点，找到了素数中“可穷尽”、“不可穷尽”现象的根本原因；应用素数的有效排除力原理对“为什么偶...