Elementary Number Theory Problems. Part XVII

Korniłowicz, Artur; Naumowicz, Adam

doi:10.2478/forma-2025-0012

Abstract

This paper furthers the formalization of problems from Wacław Sierpiński book “250 Problems in Elementary Number Theory” in the Mizar system. The selected twelve items are 37, 101, 115, 117, 145, 157, 159, 161–163, 165, and 169.

References

Grzegorz Bancerek. On multiset ordering. Formalized Mathematics, 24(2):95–106, 2016. doi:10.1515/forma-2016-0008.
Search in Google Scholar Back to article
John Horton Conway and R.K. Guy. The Book of Numbers. Springer-Verlag, 1996.
Search in Google Scholar Back to article
Leonard Eugene Dickson. History of Theory of Numbers. New York, 1952.
Search in Google Scholar Back to article
Harvey Dubner and Wilfrid Keller. Factors of generalized Fermat numbers. Mathematics of Computation, 64(209):397–405, 1995. doi:10.2307/2153343.
Search in Google Scholar Back to article
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.
Search in Google Scholar Back to article
Adam Grabowski. Polygonal numbers. Formalized Mathematics, 21(2):103–113, 2013. doi:10.2478/forma-2013-0012.
Search in Google Scholar Back to article
Adam Grabowski. Cauchy mean theorem. Formalized Mathematics, 22(2):157–166, 2014. doi:10.2478/forma-2014-0016.
Search in Google Scholar Back to article
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.
Search in Google Scholar Back to article
Jon Grantham. Finding a widely digitally delicate prime. Integers, 23:#A22, 2023. doi:10.5281/zenodo.7692139.
Search in Google Scholar Back to article
Richard K. Guy. Unsolved Problems in Number Theory. Problem Books in Mathematics. Springer, third edition, 2004. doi:10.1007/978-0-387-26677-0.
Search in Google Scholar Back to article
Dattathreya Ramachandra Kaprekar. Multidigital numbers. Scripta Mathematica, 21:27, 1955.
Search in Google Scholar Back to article
Artur Korniłowicz. Elementary number theory problems. Part VII. Formalized Mathematics, 31(1):23–29, 2023. doi:10.2478/forma-2023-0003.
Search in Google Scholar Back to article
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.
Search in Google Scholar Back to article
Louis J. Mordell. Diophantine Equations. Academic Press, 1969.
Search in Google Scholar Back to article
Adam Naumowicz. Elementary number theory problems. Part XI. Formalized Mathematics, 31(1):229–275, 2023. doi:10.2478/forma-2023-0021.
Search in Google Scholar Back to article
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.
Search in Google Scholar Back to article
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.
Search in Google Scholar Back to article
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.
Search in Google Scholar Back to article
Wacław Sierpiński. Elementary Theory of Numbers. PWN, Warsaw, 1964.
Search in Google Scholar Back to article
Wacław Sierpiński. Teoria liczb. Instytut Matematyczny Polskiej Akademii Nauk, 1950. In Polish.
Search in Google Scholar Back to article
Wacław Sierpiński. Sur les nombres composés de la forme a^2ⁿ + 1. Colloquium Mathematicum, 10(1):133–135, 1963. doi:10.4064/cm-10-1-133-135.
Search in Google Scholar Back to article
Wacław Sierpiński. 250 Problems in Elementary Number Theory. Elsevier, 1970.
Search in Google Scholar Back to article

Elementary Number Theory Problems. Part XVII

Abstract

Paradigm

My account