2016 年出版465 页ISBN：9787560357973
本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
2012 年出版522 页ISBN：9787030335401
本书以作者及其课题组多年的研究成果为主体，结合国内外学者在可证明安全算法与协议方面的代表性成果，系统介绍了可证明安全性理论和技术，主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础（第一部...
2015 年出版158 页ISBN：9787564733384
2000年夏天，作者发现了素数一系列从始至终（多重地、彻底地）按同余均匀分布的规律性。作者能证明这些，是取得了又一系列重大的发现（在2005年冬天）：在数轴上，随着各种奇合数不断被抽出，所有剩下的奇数分成各种“对应同...
2016 年出版246 页ISBN：7555235013
本书从作者个人追梦、与现实的和解、心态、职场和创业、家庭、婚姻爱情等角度，表达了现代年轻人应该追求梦想，坚强独立，活出精彩的人生这一主题。坚持笃定，没有矫情，没有自怨自艾，那样真实地活出精彩，为梦努力，突破...
2015 年出版319 页ISBN：9787118100792
本书阐述数学证明的基本原理，主要包括：证明方法；证明理论（关于证明的定理）；专门知识的表示和转换方法（实现几何、代数等专业领域命题证明的通用方法和定理）。作者对数学证明的普遍性问题给与阐述，力图解决：什么是数学...
2011 年出版340 页ISBN：9787560332826
本书共分15章，选取300余个国内外初等不等式的典型问题，以解析解题方法，并对部分问题加以拓展。
2011 年出版120 页ISBN：7546119366
金英俊，明智中学二年级学生，大名鼎鼎的“悖论队长”。可谁知道他以前却是全校有名的“电脑游戏队长”。而这一切都是一场电脑故障引发出来的。在电脑发生逻辑谬误之后，金英俊和弟弟柱浩回到了古希腊，在街头认识...
2011 年出版199 页ISBN：9787511602053
本书主要内容包括四大方面：(N+1)2与N2之间素数的研究，歌德巴赫猜想的研究，双生素数无穷的研究，费马猜想的研究。
