<abstract xmlns="http://www.w3.org/1999/xhtml"><p>In this paper we demonstrate the feasibility of formalizing <italic>recreational mathematics</italic> in Mizar ([1], [2]) drawing examples from W. Sierpinski’s book “250 Problems in Elementary Number Theory” [4]. The current work contains proofs of initial ten problems from the chapter devoted to the divisibility of numbers. Included are problems on several levels of difficulty.</p></abstract>

In this paper we demonstrate the feasibility of formalizing recreational mathematics in Mizar ([1], [2]) drawing examples from W. Sierpinski’s book “250 Problems in Elementary Number Theory” [4]. The current work contains proofs of initial ten problems from the chapter devoted to the divisibility of numbers. Included are problems on several levels of difficulty.

Elementary Number Theory Problems. Part I

Formalized Mathematics

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

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

In this paper we demonstrate the feasibility of formalizing recreational mathematics in Mizar ([1], [2]) drawing examples from W. Sierpinski’s book “250...

初等数论问题。第一部分

在线发布:2020年5月29日

页面范围： 115 - 120

认可的:2020年2月26日

内政部： https://doi.org/10.2478/forma-2020-0010

关键词
数论，休闲数学

©2020 Adam Naumowicz，Sciendo出版

本作品是根据Creative Commons Attribution-NonCommercial-ShareAlike 4.0许可证授权的。