共 50 条
- [24] SIMPLE ANALYTIC PROOF OF THE PRIME NUMBER THEOREM AMERICAN MATHEMATICAL MONTHLY, 1980, 87 (09): : 693 - 696
- [25] An Algebraic Proof of the Real Number PCP Theorem MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015, PT II, 2015, 9235 : 50 - 61
- [26] Formalizing an Analytic Proof of the Prime Number Theorem Journal of Automated Reasoning, 2009, 43 : 243 - 261
- [30] A GAME-THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1992, 38 (04): : 301 - 304