<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

Data publikacji: 30 gru 2022

Zakres stron: 235 - 244

Przyjęty: 30 wrz 2022

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

Słowa kluczowe
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

Data publikacji: 30 gru 2022

Zakres stron: 235 - 244

Przyjęty: 30 wrz 2022

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

Słowa kluczowenumber 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.

Słowa kluczowe
number theory, arithmetic progression, prime number