Elementary Number Theory Problems. Part I
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.
Language: English
Page range: 115 - 120
Accepted on: Feb 26, 2020
Published on: May 29, 2020
Published by: University of Bialystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 times per year
Keywords:
Related subjects:
© 2020 Adam Naumowicz, published by University of Bialystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.