References
- Grzegorz Bancerek. On multiset ordering. Formalized Mathematics, 24(2):95–106, 2016. doi:10.1515/forma-2016-0008.
- 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.
- Michael Filaseta and Jeremiah Southwick. Primes that become composite after changing an arbitrary digit. Mathematics of Computation, 90:979–993, 2021. doi:10.1090/mcom/3593.
- Adam Grabowski. Polygonal numbers. Formalized Mathematics, 21(2):103–113, 2013. doi:10.2478/forma-2013-0012.
- Adam Grabowski. Cauchy mean theorem. Formalized Mathematics, 22(2):157–166, 2014. doi:10.2478/forma-2014-0016.
- 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.
- Jon Grantham. Finding a widely digitally delicate prime. Integers, 23:#A22, 2023. doi:10.5281/zenodo.7692139.
- Richard K. Guy. Unsolved Problems in Number Theory. Problem Books in Mathematics. Springer, third edition, 2004. doi:10.1007/978-0-387-26677-0.
- Dattathreya Ramachandra Kaprekar. Multidigital numbers. Scripta Mathematica, 21:27, 1955.
- Artur Korniłowicz. Elementary number theory problems. Part VII. Formalized Mathematics, 31(1):23–29, 2023. doi:10.2478/forma-2023-0003.
- 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 XI. Formalized Mathematics, 31(1):229–275, 2023. doi:10.2478/forma-2023-0021.
- 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 and Artur Korniłowicz. Elementary number theory problems. Part XV – Diophantine equations. Formalized Mathematics, 32(1):93–110, 2024. doi:10.2478/forma-2024-0007.
- 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.
- 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. Sur les nombres composés de la forme a2n + 1. Colloquium Mathematicum, 10(1):133–135, 1963. doi:10.4064/cm-10-1-133-135.
- Wacław Sierpiński. 250 Problems in Elementary Number Theory. Elsevier, 1970.