JeremyJ.AvigadJeremyJ. i inni, A formally verified proof of the prime number theorem, „arXiv [cs.AI]”, 2005, DOI: 10.48550/ARXIV.CS/0509025, arXiv:cs/0509025 [dostęp 2023-08-23].
doi.org
dx.doi.org
Tom M.T.M.ApostolTom M.T.M., Introduction to Analytic Number Theory, „Undergraduate Texts in Mathematics”, 1976, DOI: 10.1007/978-1-4757-5579-4, ISSN0172-6056 [dostęp 2023-08-22].
Florian K.F.K.RichterFlorian K.F.K., A new elementary proof of the Prime Number Theorem, „Bulletin of the London Mathematical Society”, London Mathematical Society, 2021, DOI: 10.1112/blms.12503(ang.).
JeremyJ.AvigadJeremyJ. i inni, A formally verified proof of the prime number theorem, „arXiv [cs.AI]”, 2005, DOI: 10.48550/ARXIV.CS/0509025, arXiv:cs/0509025 [dostęp 2023-08-23].
JohnJ.HarrisonJohnJ., Formalizing an Analytic Proof of the Prime Number Theorem, „Journal of Automated Reasoning”, 43 (3), 2009, s. 243–261, DOI: 10.1007/s10817-009-9145-6 [dostęp 2023-08-23](ang.).
Tom M.T.M.ApostolTom M.T.M., Introduction to Analytic Number Theory, „Undergraduate Texts in Mathematics”, 1976, DOI: 10.1007/978-1-4757-5579-4, ISSN0172-6056 [dostęp 2023-08-22].