References
- Kenichi Arai and Hiroyuki Okazaki. Properties of primes and multiplicative group of a field. Formalized Mathematics, 17(2):151–155, 2009. doi:10.2478/v10037-009-0017-7.
- 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.
- John Horton Conway and R.K. Guy. The Book of Numbers. Springer-Verlag, 1996.
- 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.
- Adam Grabowski. Elementary number theory problems. Part VI. Formalized Mathematics, 30(3):235–244, 2022. doi:10.2478/forma-2022-0019.
- Adam Grabowski. Elementary number theory problems. Part XII – primes in arithmetic progression. Formalized Mathematics, 31(1):277–286, 2023. doi:10.2478/forma-2023-0022.
- Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.
- Richard K. Guy. Unsolved Problems in Number Theory. Problem Books in Mathematics. Springer, third edition, 2004. doi:10.1007/978-0-387-26677-0.
- 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. 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.
- Marco Riccardi. The perfect number theorem and Wilson’s theorem. Formalized Mathematics, 17(2):123–128, 2009. doi:10.2478/v10037-009-0013-y.
- Colin Rothgang, Artur Korniłowicz, and Florian Rabe. A new export of the Mizar Mathematical Library. In Fairouz Kamareddine and Claudio Sacerdoti Coen, editors, Intelligent Computer Mathematics, pages 205–210, Cham, 2021. Springer International Publishing. doi:10.1007/978-3-030-81097-917.
- Andrzej Schinzel and Wacław Sierpiński. Sur certaines hypothèses concernant les nombres premiers. Acta Arithmetica, 4(3):185–208, 1958.
- 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.
- Rafał Ziobro. On subnomials. Formalized Mathematics, 24(4):261–273, 2016. doi:10.1515/forma-2016-0022.
- Rafał Ziobro. Application of complex classes to number theory. Formalized Mathematics, 33(1):207–216, 2025. doi:10.2478/forma-2025-0016.