Open Access

Elementary Number Theory Problems. Part I

Adam Naumowicz

Adam Naumowicz

Institute of Informatics, University of BiałystokPoland
Search for this author on
Sciendo|Google Scholar
Naumowicz, Adam
  
May 29, 2020
Elementary Number Theory Problems. Part I's Cover Image
About this article
Previous Article
Next Article
Cite
Download Cover
Published Online: May 29, 2020
Page range: 115 - 120
Accepted: Feb 26, 2020
DOI: https://doi.org/10.2478/forma-2020-0010
Keywords
© 2020 Adam Naumowicz, published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License.

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.

Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Computer Sciences, Computer Sciences, other, Mathematics, General Mathematics
Journal RSS Feed