<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

Published Online: Dec 30, 2022

Page range: 235 - 244

Accepted: Sep 30, 2022

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

Keywords
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

Published Online: Dec 30, 2022

Page range: 235 - 244

Accepted: Sep 30, 2022

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

Keywordsnumber 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.

Keywords
number theory, arithmetic progression, prime number