References
- P.T. Bateman, J.L. Selfridge, and S.S. Wagsta Jr. The editor’s corner: The new Mersenne conjecture. The American Mathematical Monthly, 96(2):125–128, 1989. doi:10.1080/00029890.1989.11972155.
- Mario Carneiro. The divergence of the sum of prime reciprocals. Formalized Mathematics, 30(3):209–210, 2022. doi:10.2478/forma-2022-0015.
- John Horton Conway and R.K. Guy. The Book of Numbers. Springer-Verlag, 1996.
- G. Di Pietro. New estimations for numerical analysis approach to twin primes conjecture. Notes on Number Theory and Discrete Mathematics, 30(3):580–586, 2024. doi:10.7546/nntdm.2024.30.3.580-586.
- Leonard Eugene Dickson. History of Theory of Numbers. New York, 1952.
- Harvey Dubner and Wilfrid Keller. Factors of generalized Fermat numbers. Mathematics of Computation, 64(209):397–405, 1995. doi:10.2307/2153343.
- Richard K. Guy. Unsolved Problems in Number Theory. Problem Books in Mathematics. Springer, third edition, 2004. doi:10.1007/978-0-387-26677-0.
- Artur Korniłowicz. Elementary number theory problems. Part IV. Formalized Mathematics, 30(3):223–228, 2022. doi:10.2478/forma-2022-0017.
- Artur Korniłowicz. Elementary number theory problems. Part XIV – Diophantine equations. Formalized Mathematics, 32(1):47–63, 2024. doi:10.2478/forma-2024-0004.
- Michal Křížek, Florian Luca, and Lawrence Somer. Factors of Fermat numbers. In 17 Lectures on Fermat Numbers: From Number Theory to Geometry, pages 70–79. Springer New York, 2001. doi:10.1007/978-0-387-21850-27.
- Louis J. Mordell. Diophantine Equations. Academic Press, 1969.
- Adam Naumowicz. Elementary number theory problems. Part I. Formalized Mathematics, 28(1):115–120, 2020. doi:10.2478/forma-2020-0010.
- Adam Naumowicz. Dataset description: Formalization of elementary number theory in Mizar. In Christoph Benzmüller and Bruce R. Miller, editors, Intelligent Computer Mathematics – 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, volume 12236 of Lecture Notes in Computer Science, pages 303–308. Springer, 2020. doi:10.1007/978-3-030-53518-622.
- Karol Pąk. Elementary number theory problems. Part XVI. Formalized Mathematics, 32 (1):203–212, 2024. doi:10.2478/forma-2024-0017.
- Wacław Sierpiński. Elementary Theory of Numbers. PWN, Warsaw, 1964.
- Wacław Sierpiński. Teoria liczb. Instytut Matematyczny Polskiej Akademii Nauk, 1950. In Polish.
- Wacław Sierpiński. 250 Problems in Elementary Number Theory. Elsevier, 1970.