-
不等式的分拆降维幂方法与可读证明
陈胜利著2016 年出版465 页ISBN:9787560357973本书系统地总结了作者及其合作者近十年来在不等式<em>数学</em>机械化领域的一系列研究成果及其软件(SCHUE01)实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器<em>证明</em>过程及其理论依据...
-
民事诉讼证明的方法论 以事实证明为中心
常宝莲著2015 年出版351 页ISBN:9787561553992诉讼<em>证明</em>既是一种运用理性和逻辑进行思维的认识活动,也是一种实践活动;既从属于法律论证活动,又有自己独特的实践性特征;诉讼<em>证明</em>既是一种对话性、论辩性、交涉性的活动,又是一种说服性的活动...
-
数学天书中的证明:35个著名的数学问题
M.AIGNER,G.M.ZIEGLER著2009 年出版270 页ISBN:9787040262094本书介绍了35个著名<em>数学</em>问题的极富创造性和独具匠心的<em>证明</em>。其中有些<em>证明</em>不仅想法奇特、构思精巧,作为一个整体更是天衣无缝。难怪,西方有些虔诚的<em>数学</em>家将这类杰作比喻...
-
几何定理机器证明的几何不变量方法
张景中,高小山,周咸青著2015 年出版318 页ISBN:9787030440662用计算机自动<em>证明</em>某一类型几何定理,甚至某一种几何全部定理的原理和<em>方法</em>。从理论角度看,几何定理的机器<em>证明</em>要经历公理化、代数化与坐标化、机械化等步骤,才能编制程序并在计算机...
-
消失的天才:完美的数学证明、舍弃的百万美元大奖,一位破解百年难题的数学家神秘遁逃的故事
玛莎·葛森(MASHA GESSEN)著;陈雅云译2012 年出版239 页ISBN:9862351632 -
不要大惊小怪 一些“荒唐”观点的数学证明
(英)朱利安·哈维尔著;郑炼译2013 年出版238 页ISBN:9787542855497本书包括14章,讲述了14个与常识相悖、但在<em>数学</em>上可予严格<em>证明</em>的观点。如:每月的13号比其他日子更可能是星期五;又如,一名网球高手在获得局点时拿下这局的概率竟比开局时还要低。通过<em>证明...
-
普通高中课程标准实验教科书 数学 选修 4-1 几何证明选讲
严士健,王尚志主编;张饴慈,李延林,张思明副主编;王希平本册主编;付勤,刘族平,李毅编写2005 年出版56 页ISBN:7303076735暂缺《国标教材高中数学 几何证明选讲(选修4-1)》简介
-
普通高中课程标准实验教科书 数学 选修4-1 几何证明选讲
人民教育出版社,课程教材研究所,中学数学课程教材研究开心中心编著2007 年出版54 页ISBN:9787107186387数学(A版选修4-1几何证明选讲)普通高中课程标准实验教科书,ISBN:9787107186387,作者:
-
数学写真集 无需语言的证明 第2季
(美)尼尔森编2014 年出版132 页ISBN:9787111466772本书由131个“无需语言的<em>证明</em>”的图片组成,每个图片的下面列出了该图片要“<em>证明</em>”的<em>数学</em>结论。当从一个图片中悟出为何该图片<em>证明</em>了相应的<em>数学</em>结论时,读者便能...