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

<p>This paper reports on the formalization in Mizar system [1], [2] of ten selected problems from W. Sierpinski’s book “250 Problems in Elementary Number Theory” [7] (see [6] for details of this concrete dataset). This article is devoted mainly to arithmetic progressions: problems 52, 54, 55, 56, 60, 64, 70, 71, and 73 belong to the chapter “Arithmetic Progressions”, and problem 50 is from “Relatively Prime Numbers”.</p>
</abstract>

This paper reports on the formalization in Mizar system [1], [2] of ten selected problems from W. Sierpinski’s book “250 Problems in Elementary Number Theory” [7] (see [6] for details of this concrete dataset). This article is devoted mainly to arithmetic progressions: problems 52, 54, 55, 56, 60, 64, 70, 71, and 73 belong to the chapter “Arithmetic Progressions”, and problem 50 is from “Relatively Prime Numbers”.

Elementary Number Theory Problems. Part VI

Formalized Mathematics

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

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

This paper reports on the formalization in Mizar system [1], [2] of ten selected problems from W. Sierpinski’s book “250 Problems in Elementary Number Theory”...

Elementary Number Theory Problems. Part VI

Online veröffentlicht: 30. Dez. 2022

Seitenbereich: 235 - 244

Akzeptiert: 30. Sept. 2022

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

Schlüsselwörter
number theory, arithmetic progression, prime number

© 2022 Adam Grabowski, published by Sciendo

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

Elementary Number Theory Problems. Part VI

Online veröffentlicht: 30. Dez. 2022

Seitenbereich: 235 - 244

Akzeptiert: 30. Sept. 2022

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

Schlüsselwörternumber theory, arithmetic progression, prime number

© 2022 Adam Grabowski, published by Sciendo

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

Schlüsselwörter
number theory, arithmetic progression, prime number