@misc{NEWTON06.MIZ,
  AUTHOR = {Ziobro, Rafa{\l}},
  TITLE = {Application of Complex Classes to Number Theory},
  ADDRESS1 = {Department of Carbohydrate Technology, University of Agriculture in Krakow},
  DAY = {11},
  MONTH = {May},
  YEAR = {2025},
  KEYWORDS = {integer numbers, multiplication, division, rounding},
  MSC2010 = {40-04 03B35},
  ACKNOWLEDGEMENT = {Ad Maiorem Dei Gloriam},
  SUMMARY = {The paper extends the use of registrations for Mizar proofs
  \cite{caminati2013custom}, \cite{kornilowicz2013rewriting}.
  The classes proposed for complex numbers \cite{COMPLEX3.ABS} are applied here to
  integer and natural numbers, which seems to facilitate the proofs.
  Although the article does not directly focus on the series on the ``Elementary Number
  Theory Problems'' \cite{NUMBER01.ABS}, its contents are closely related to some of its items.}}
