<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

Publié en ligne: 30 déc. 2022

Pages: 235 - 244

Accepté: 30 sept. 2022

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

Mots clés
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

Publié en ligne: 30 déc. 2022

Pages: 235 - 244

Accepté: 30 sept. 2022

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

Mots clésnumber 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.

Mots clés
number theory, arithmetic progression, prime number