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

<p>In this paper problems 17, 18, 26, 27, 28, and 98 from [9] are formalized, using the Mizar formalism [8], [2], [3], [6].</p>
</abstract>

In this paper problems 17, 18, 26, 27, 28, and 98 from [9] are formalized, using the Mizar formalism [8], [2], [3], [6].

Elementary Number Theory Problems. Part IV

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

Elementary Number Theory Problems. Part IV

Pubblicato online: 30 dic 2022

Pagine: 223 - 228

Accettato: 30 set 2022

DOI: https://doi.org/10.2478/forma-2022-0017

Parole chiave
number theory, divisibility, primes

© 2022 Artur Korniłowicz, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

Elementary Number Theory Problems. Part IV

Pubblicato online: 30 dic 2022

Pagine: 223 - 228

Accettato: 30 set 2022

DOI: https://doi.org/10.2478/forma-2022-0017

Parole chiavenumber theory, divisibility, primes

© 2022 Artur Korniłowicz, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

Parole chiave
number theory, divisibility, primes