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

<p>In this paper problems 48, 80, 87, 89, and 124 from [<xref ref-type="bibr" rid="j_forma-2023-0003_ref_007">7</xref>] are formalized, using the Mizar formalism [<xref ref-type="bibr" rid="j_forma-2023-0003_ref_001">1</xref>], [<xref ref-type="bibr" rid="j_forma-2023-0003_ref_002">2</xref>], [<xref ref-type="bibr" rid="j_forma-2023-0003_ref_004">4</xref>]. The work is natural continuation of [<xref ref-type="bibr" rid="j_forma-2023-0003_ref_005">5</xref>] and [<xref ref-type="bibr" rid="j_forma-2023-0003_ref_003">3</xref>] as suggested in [<xref ref-type="bibr" rid="j_forma-2023-0003_ref_006">6</xref>].</p>
</abstract>

In this paper problems 48, 80, 87, 89, and 124 from [7] are formalized, using the Mizar formalism [1], [2], [4]. The work is natural continuation of [5] and [3] as suggested in [6].

Elementary Number Theory Problems. Part VII

Formalized Mathematics

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

{"article-title":"Elementary Number Theory Problems. Part VII"}

In this paper problems 48, 80, 87, 89, and 124 from [7] are formalized, using the Mizar formalism [1], [2], [4]. The work is natural continuation of [5] and...

Elementary Number Theory Problems. Part VII

Published Online: Sep 26, 2023

Page range: 23 - 29

Accepted: Mar 31, 2023

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

Keywords
number theory, divisibility, primes

© 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 VII

Published Online: Sep 26, 2023

Page range: 23 - 29

Accepted: Mar 31, 2023

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

Keywordsnumber theory, divisibility, primes

© 2023 Artur Korniłowicz, published by Sciendo

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

Keywords
number theory, divisibility, primes