Elementary Number Theory Problems. Part V
Artur Korniłowicz
Institute of Computer Science, University of BiałystokPoland
Profilo OrcidCerca questo autore su
e Adam Naumowicz
Institute of Computer Science, University of BiałystokPoland
Profilo OrcidCerca questo autore su
30 dic 2022
INFORMAZIONI SU QUESTO ARTICOLO
Pubblicato online: 30 dic 2022
Pagine: 229 - 234
Accettato: 30 set 2022
DOI: https://doi.org/10.2478/forma-2022-0018
Parole chiave
© 2022 Artur Korniłowicz et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
This paper reports on the formalization of ten selected problems from W. Sierpinski’s book “250 Problems in Elementary Number Theory” [5] using the Mizar system [4], [1], [2]. Problems 12, 13, 31, 32, 33, 35 and 40 belong to the chapter devoted to the divisibility of numbers, problem 47 concerns relatively prime numbers, whereas problems 76 and 79 are taken from the chapter on prime and composite numbers.