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

Elementary Number Theory Problems. Part I

Published Online: May 29, 2020

Page range: 115 - 120

Accepted: Feb 26, 2020

DOI: https://doi.org/10.2478/forma-2020-0010

Keywords
number theory, recreational mathematics

© 2020 Adam Naumowicz, published by Sciendo

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

Elementary Number Theory Problems. Part I

Published Online: May 29, 2020

Page range: 115 - 120

Accepted: Feb 26, 2020

DOI: https://doi.org/10.2478/forma-2020-0010

Keywordsnumber theory, recreational mathematics

© 2020 Adam Naumowicz, published by Sciendo

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

Keywords
number theory, recreational mathematics