Elementary Number Theory Problems. Part XVI
Karol Pąk
Faculty of Computer Science, University of BiałystokPoland
Orcid-ProfilSuche nach diesem Autor auf
31. Dez. 2024
Über diesen Artikel
Online veröffentlicht: 31. Dez. 2024
Seitenbereich: 203 - 212
Akzeptiert: 14. Dez. 2024
DOI: https://doi.org/10.2478/forma-2024-0017
Schlüsselwörter
© 2024 Karol Pąk, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.
In this paper, we continue the work on formalizing problems from “250 Problems in Elementary Number Theory” by Wacław Sierpiński, using Mizar proof assistant. The formalization covers problems 63, 65, 66, 67, 68, 93, 95, 96, 102, and 103.