大约有513,735项符合查询结果项。(搜索耗时:0.6243秒)
为您推荐: 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
数学分析中的重要定理
杨艳萍,明清河著2015 年出版344 页ISBN:9787121255625本书是为学习数学分析课程的学生、从事数学分析教学与研究的读者而编写的。全书共分为七章,系统地把数学分析中的重要定理总结和归纳为微积分基本定理、微分中值定理、积分中值定理、积分关系定理、极限关系...
-
哈密尔顿-凯莱定理 从一道高中数学联赛试题的解法谈起
佩捷,梅根编2014 年出版132 页ISBN:9787560348506本书从一道高中数学联赛试题的解法谈起,详细介绍了哈密尔顿-凯莱定理的相关知识。全书共分为四章,分别为:引言、基础篇、应用篇与人物篇。本书可供从事这一数学分支或相关学科的数学工作者、大学生以及数学爱...
-
完美的证明 一位天才和世纪数学的突破
(美)玛莎·葛森著2012 年出版249 页ISBN:9787564053727在2002年11月,一位俄罗斯数学家把他对于庞加莱猜想的证明贴到了互联网上。他不是第一个宣称解决了庞加莱猜想的人。他甚至不是那一年唯一一个把对此猜想的尝试性证明贴到互联网上的人。但是他的证明是对的。...
-
不等式的分拆降维幂方法与可读证明
陈胜利著2016 年出版465 页ISBN:9787560357973本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件(SCHUE01)实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
-
数学天书中的证明:35个著名的数学问题
M.AIGNER,G.M.ZIEGLER著2009 年出版270 页ISBN:9787040262094本书介绍了35个著名数学问题的极富创造性和独具匠心的证明。其中有些证明不仅想法奇特、构思精巧,作为一个整体更是天衣无缝。难怪,西方有些虔诚的数学家将这类杰作比喻为上帝的创造。这不是一本教科书,也不是...
-
-
书证收集与程序保障 以当事人证明权的实现为中心
张友好著2010 年出版389 页ISBN:9787510202537本书阐述了民事诉讼中书证收集模式的沿革以及制度运行的国际趋势,探讨了文书在证据领域限制适用的情形以及在收集过程中的程序保障制度,重点对我国书证收集的现状作了实证分析,并就在我国当前的证据交换制度下...
-
证明的教学 从幼儿园到大学的视角 中小学数学教育论著译丛
(德)斯皮娜·A·斯蒂利亚努,玛利亚·A·布兰顿,埃里克·J·克努特2015 年出版403 页ISBN:9787544467759《证明的教学:从幼儿园到大学的视角》,它从一个广阔的视角阐述了数学证明的涵义,为大家提供了促进学生能力发展的具体做法,也提供了激发学生进行数学思考的机会,展现了证明教学的发展趋势、课堂使用的数学问题和...
-
从代数基本定理到超越数 一段经典数学的奇幻之旅
冯承天著2017 年出版148 页ISBN:9787567558588本书分为四个部分,共计十四章,如“从自然数系到有理数系”、“无理数与实数系”、“代数、基本定理的定性说明”、“业余数学家阿尔岗的证明”、“美国数学家安凯屈的证明”、“圆周率及其元理性”、“自然对...
-
