当前位置：首页 > TAG信息列表 > 证明
证明
-
-
-
-
-
-
不等式的分拆降维幂方法与可读证明
陈胜利著2016 年出版465 页ISBN：9787560357973本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
-
-
数学与现代科学技术丛书 可证明安全算法与协议
张华，温巧燕，金正平著2012 年出版522 页ISBN：9787030335401本书以作者及其课题组多年的研究成果为主体，结合国内外学者在可证明安全算法与协议方面的代表性成果，系统介绍了可证明安全性理论和技术，主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础（第一部...
-
素数分布定理与哥德巴赫猜想的证明
谢必成著2015 年出版158 页ISBN：97875647333842000年夏天，作者发现了素数一系列从始至终（多重地、彻底地）按同余均匀分布的规律性。作者能证明这些，是取得了又一系列重大的发现（在2005年冬天）：在数轴上，随着各种奇合数不断被抽出，所有剩下的奇数分成各种“对应同...
-
-
-
-
有趣的哲学启蒙书 芝诺 推理与证明的故事
（韩）吴菜焕著2011 年出版120 页ISBN：7546119366金英俊，明智中学二年级学生，大名鼎鼎的“悖论队长”。可谁知道他以前却是全校有名的“电脑游戏队长”。而这一切都是一场电脑故障引发出来的。在电脑发生逻辑谬误之后，金英俊和弟弟柱浩回到了古希腊，在街头认识...
-
-
-
-
-
-
-
