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

<p>This paper reports on the formalization of ten selected problems from W. Sierpinski’s book “250 Problems in Elementary Number Theory” [5] using the Mizar system [4], [1], [2]. Problems 12, 13, 31, 32, 33, 35 and 40 belong to the chapter devoted to the divisibility of numbers, problem 47 concerns relatively prime numbers, whereas problems 76 and 79 are taken from the chapter on prime and composite numbers.</p>
</abstract>

This paper reports on the formalization of ten selected problems from W. Sierpinski’s book “250 Problems in Elementary Number Theory” [5] using the Mizar system [4], [1], [2]. Problems 12, 13, 31, 32, 33, 35 and 40 belong to the chapter devoted to the divisibility of numbers, problem 47 concerns relatively prime numbers, whereas problems 76 and 79 are taken from the chapter on prime and composite numbers.

Elementary Number Theory Problems. Part V

Formalized Mathematics

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

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

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

初等数论问题。第五部分

在线发布:2022年12月30日

页面范围： 229 - 234

认可的:2022年9月30日

内政部： https://doi.org/10.2478/forma-2022-0018

关键词
数论,可分割性,素数

©2022 Artur Korniłowicz等人，Sciendo出版

本作品根据Creative Commons Attribution-ShareAlike 4.0 International License获得许可。