大约有20,000项符合查询结果项。（搜索耗时：0.0147秒）
为您推荐： 解不等式及证明 的方法 不等式机器证明与自动发现 人性的证明 title优雅的等式 欧拉公式与数学之美 数学天书中的证明 平方的不等式
-
不等式的分拆降维幂方法与可读证明
陈胜利著2016 年出版465 页ISBN：9787560357973本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
-
解不等式及证明不等式的方法
谷学勤编著2016 年出版280 页ISBN：9787566412638本书以通俗的语言、简洁流畅的叙述，针对初等数学中涉及的各种解不等式及证明不等式的方法，分别介绍了解不等式（组）的方法及证明不等式的方法。解不等式的方法包括等价法、交集法、分区法、同底法、定义法、平方...
-
-
-
流过的泪是爱过的证明
秋日细雨著2016 年出版294 页ISBN：7511360688本书是一本散文集，包括叙事、抒情，无论是爱情或亲情，人物或风景，每篇文章作者均以最独特的写作风格展示文字的精彩，文字是一场华丽的盛宴，也是人类精神丰富的粮食，本书的文字贴近生活，寓于抒情，能让读者体会......
-
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
-
数学写真集 无需语言的证明 第3季
范兴亚，管涛，程晓亮编著2016 年出版110 页ISBN：9787111536499本书由一百多个“无需语言的证明”的图片组成，每一个都非常精彩。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集。书中的素材选取自国际顶尖数...
-
挑战思维极限 勾股定理的365种证明
李迈新编著2016 年出版248 页ISBN：9787302458791本书主要介绍了勾股定理的365种证明方法。并按证法的类型进行归纳、整理和总结。让读者有一个系统和全面的了解。大多数证法用到的知识范围不超过初中几何的教学内容，许多证法思路巧妙，别具一格，对提高读者的...
-
证明函数式相等的方法
谷学勤著2016 年出版264 页ISBN：9787566412645本书以通俗的语言、简洁流畅的叙述，针对初等数学中涉及的各种证明函数式相等的方法，分别介绍了三角函数等式证明的方法及非三角函数等式证明的方法。前者包括归义法、变角法、变次法、变名法、裂项相消法、特...