@ARTICLE{NUMBER03.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur},
  TITLE = {Elementary Number Theory Problems. Part III},
  SECTION1 = {Preliminaries},
  SECTION2 = {Main problems},
  DAY = {23},
  MONTH = {July},
  YEAR = {2022},
  ADDRESS1 = {Institute of Computer Science\\University of Bia{\l}ystok\\ Konstantego Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  SUMMARY = {In this paper problems 11, 16, 19--24, 39, 44, 46, 74, 75, 77, 82, and 176 from \cite{Sierpinski:1970} are formalized,
  using the Mizar formalism \cite{Mizar-State-2015,BancerekJAR:2018,Kornilowicz:2015:FC}.
  Problems 11 and 16 from the book are formulated as several independent theorems.
  Problem 46 is formulated with a~given example of required properties.
  Problem 77 is not formulated using triangles as in the book is.},
}
