潘承彪，潘承洞著2017 年出版260 页ISBN：9787560361529
本书主要介绍素数定理的7个初等证明以及与之相关的切比雪夫不等式、Mertens定理、素数定理的等价命题、Riemann Zeta函数、几个Tanber型定理、L空间中的Fourier变化、Wiener定理、素数定理的推广等。通过学...
国际大学生程序设计竞赛例题解 1 数论、计算几何、搜索算法专集
郭嵩山等编著2006 年出版293 页ISBN：7121025051
本书以数论、计算几何、搜索算法三个专题的形式介绍了ACM国际大学生程序设计竞赛（ACM/ICPC）中所用到的典型算法，并结合例题，对如何灵活地运用这些算法进行比较详细分析和深入浅出的讲解。本书以精讲多练为教学...
吴文俊著2010 年出版234 页ISBN：9787030283771
1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
（苏）兰茨别尔格，Г.С.编；王子昌译1964 年出版166 页ISBN：7150·1591
据1956年俄文再版译出:译自:Элементарныйучебникфизики.
（苏）兰茨别尔格，Г.С.编；王子昌译1959 年出版584 页ISBN：7150·733
据1956年俄文再版译出:译自:Элементарныйучебникфизики.
