{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:04:46Z","timestamp":1774868686009,"version":"3.50.1"},"reference-count":17,"publisher":"Walter de Gruyter GmbH","issue":"1","license":[{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,1]]},"abstract":"<jats:title>Summary<\/jats:title>\n                  <jats:p>The paper illustrates how the formal framework proposed earlier for complex numbers can be applied to integer and natural numbers, facilitating proofs by means of clusters\u2019 registrations for Mizar adjectives. The contents of the article are closely related to the series of Mizar articles \u201cElementary Number Theory Problems\u201d (with MML identifiers NUMBER*), but it is not solving any of \u201c250 Problems in Elementary Number Theory\u201d by Wac\u0142aw Sierpi\u0144ski book.<\/jats:p>","DOI":"10.2478\/forma-2025-0016","type":"journal-article","created":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T16:26:23Z","timestamp":1767975983000},"page":"207-216","source":"Crossref","is-referenced-by-count":1,"title":["Application of Complex Classes to Number Theory"],"prefix":"10.2478","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9681-4380","authenticated-orcid":false,"given":"Rafa\u0142","family":"Ziobro","sequence":"first","affiliation":[{"name":"Department of Carbohydrate Technology and Cereal Processing , University of Agriculture , Krak\u00f3w , Poland"}]}],"member":"374","published-online":{"date-parts":[[2025,12,31]]},"reference":[{"key":"2026033010152262593_j_forma-2025-0016_ref_001","doi-asserted-by":"crossref","unstructured":"Grzegorz Bancerek, Czes\u0142aw Byli\u0144ski, Adam Grabowski, Artur Korni\u0142owicz, Roman Matuszewski, Adam Naumowicz, and Karol P\u0105k. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9\u201332, 2018. doi:10.1007\/s10817-017-9440-6.","DOI":"10.1007\/s10817-017-9440-6"},{"key":"2026033010152262593_j_forma-2025-0016_ref_002","doi-asserted-by":"crossref","unstructured":"Marco B. Caminati and Giuseppe Rosolini. Custom automations in Mizar. Journal of Automated Reasoning, 50(2):147\u2013160, 2013.","DOI":"10.1007\/s10817-012-9266-1"},{"key":"2026033010152262593_j_forma-2025-0016_ref_003","unstructured":"Adam Grabowski and Artur Korni\u0142owicz. Implementing more explicit definitional expansions in Mizar. In Adam Naumowicz and Ren\u00e9 Thiemann, editors, 14th International Conference on Interactive Theorem Proving, ITP 2023, Bia\u0142ystok, Poland, July 31\u2013August 4, 2023, volume 268 of LIPIcs, pages 37:1\u201337:8. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, 2023. doi:10.4230\/LIPICS.ITP.2023.37."},{"key":"2026033010152262593_j_forma-2025-0016_ref_004","unstructured":"Adam Grabowski, Artur Korni\u0142owicz, and Adam Naumowicz. Mizar in a nutshell. Journal of Formalized Reasoning, 3(2):153\u2013245, 2010."},{"key":"2026033010152262593_j_forma-2025-0016_ref_005","doi-asserted-by":"crossref","unstructured":"Artur Korni\u0142owicz. Tentative experiments with ellipsis in Mizar. In Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, and Volker Sorge, editors, Intelligent Computer Mathematics, pages 453\u2013457. Springer Berlin Heidelberg, 2012. doi:10.1007\/978-3-642-31374-535.","DOI":"10.1007\/978-3-642-31374-5_35"},{"key":"2026033010152262593_j_forma-2025-0016_ref_006","doi-asserted-by":"crossref","unstructured":"Artur Korni\u0142owicz. Elementary number theory problems. Part III. Formalized Mathematics, 30(2):135\u2013158, 2022. doi:10.2478\/forma-2022-0011.","DOI":"10.2478\/forma-2022-0011"},{"key":"2026033010152262593_j_forma-2025-0016_ref_007","doi-asserted-by":"crossref","unstructured":"Artur Korni\u0142owicz. On rewriting rules in Mizar. Journal of Automated Reasoning, 50(2): 203\u2013210, 2013.","DOI":"10.1007\/s10817-012-9261-6"},{"key":"2026033010152262593_j_forma-2025-0016_ref_008","doi-asserted-by":"crossref","unstructured":"Adam Naumowicz. Elementary number theory problems. Part I. Formalized Mathematics, 28(1):115\u2013120, 2020. doi:10.2478\/forma-2020-0010.","DOI":"10.2478\/forma-2020-0010"},{"key":"2026033010152262593_j_forma-2025-0016_ref_009","doi-asserted-by":"crossref","unstructured":"Adam Naumowicz. Dataset description: Formalization of elementary number theory in Mizar. In Christoph Benzm\u00fcller and Bruce R. Miller, editors, Intelligent Computer Mathematics \u2013 13th International Conference, CICM 2020, Bertinoro, Italy, July 26\u201331, 2020, Proceedings, volume 12236 of Lecture Notes in Computer Science, pages 303\u2013308. Springer, 2020. doi:10.1007\/978-3-030-53518-622.","DOI":"10.1007\/978-3-030-53518-6_22"},{"key":"2026033010152262593_j_forma-2025-0016_ref_010","unstructured":"Wac\u0142aw Sierpi\u0144ski. Elementary Theory of Numbers. PWN, Warsaw, 1964."},{"key":"2026033010152262593_j_forma-2025-0016_ref_011","unstructured":"Wac\u0142aw Sierpi\u0144ski. Teoria liczb. Instytut Matematyczny Polskiej Akademii Nauk, 1950. In Polish."},{"key":"2026033010152262593_j_forma-2025-0016_ref_012","unstructured":"Wac\u0142aw Sierpi\u0144ski. 250 Problems in Elementary Number Theory. Elsevier, 1970."},{"key":"2026033010152262593_j_forma-2025-0016_ref_013","unstructured":"James J. Tattersall. The Intriguing Natural Numbers. Cambridge University Press, 2005."},{"key":"2026033010152262593_j_forma-2025-0016_ref_014","doi-asserted-by":"crossref","unstructured":"Rafa\u0142 Ziobro. Multiplication-related classes of complex numbers. Formalized Mathematics, 28(2):197\u2013210, 2020. doi:10.2478\/forma-2020-0017.","DOI":"10.2478\/forma-2020-0017"},{"key":"2026033010152262593_j_forma-2025-0016_ref_015","doi-asserted-by":"crossref","unstructured":"Rafa\u0142 Ziobro. Some remarkable identities involving numbers. Formalized Mathematics, 22(3):205\u2013208, 2014. doi:10.2478\/forma-2014-0023.","DOI":"10.2478\/forma-2014-0023"},{"key":"2026033010152262593_j_forma-2025-0016_ref_016","doi-asserted-by":"crossref","unstructured":"Rafa\u0142 Ziobro. Fermat\u2019s Little Theorem via divisibility of Newton\u2019s binomial. Formalized Mathematics, 23(3):215\u2013229, 2015. doi:10.1515\/forma-2015-0018.","DOI":"10.1515\/forma-2015-0018"},{"key":"2026033010152262593_j_forma-2025-0016_ref_017","doi-asserted-by":"crossref","unstructured":"Rafa\u0142 Ziobro. Parity as a property of integers. Formalized Mathematics, 26(2):91\u2013100, 2018. doi:10.2478\/forma-2018-0008.","DOI":"10.2478\/forma-2018-0008"}],"container-title":["Formalized Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.sciendo.com\/pdf\/10.2478\/forma-2025-0016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T10:15:38Z","timestamp":1774865738000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.sciendo.com\/article\/10.2478\/forma-2025-0016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,1]]},"references-count":17,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,12,31]]},"published-print":{"date-parts":[[2025,9,1]]}},"alternative-id":["10.2478\/forma-2025-0016"],"URL":"https:\/\/doi.org\/10.2478\/forma-2025-0016","relation":{},"ISSN":["1898-9934"],"issn-type":[{"value":"1898-9934","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,1]]}}}