Elementary Number Theory Problems. Part IV
Artur Korniłowicz
Institute of Computer Science, University of BiałystokPoland
Orcid profileSearch for this author on
Dec 30, 2022
About this article
Published Online: Dec 30, 2022
Page range: 223 - 228
Accepted: Sep 30, 2022
DOI: https://doi.org/10.2478/forma-2022-0017
Keywords
© 2022 Artur Korniłowicz, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
In this paper problems 17, 18, 26, 27, 28, and 98 from [9] are formalized, using the Mizar formalism [8], [2], [3], [6].