<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>This paper continues the formalization of chosen problems defined in the book “250 Problems in Elementary Number Theory” by Wacław Sierpiński.</p>
</abstract>

This paper continues the formalization of chosen problems defined in the book “250 Problems in Elementary Number Theory” by Wacław Sierpiński.

Elementary Number Theory Problems. Part IX

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.

Elementary Number Theory Problems. Part IX

Online veröffentlicht: 26. Dez. 2023

Seitenbereich: 161 - 169

Akzeptiert: 21. Nov. 2023

DOI: https://doi.org/10.2478/forma-2023-0015

Schlüsselwörter
number theory, divisibility, primes, factorization

© 2023 Artur Korniłowicz, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.

Elementary Number Theory Problems. Part IX

Online veröffentlicht: 26. Dez. 2023

Seitenbereich: 161 - 169

Akzeptiert: 21. Nov. 2023

DOI: https://doi.org/10.2478/forma-2023-0015

Schlüsselwörternumber theory, divisibility, primes, factorization

© 2023 Artur Korniłowicz, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.

Schlüsselwörter
number theory, divisibility, primes, factorization