Application of Complex Classes to Number Theory

Summary 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’ registrations for Mizar adjectives. The contents of the article are closely related to the series of Mizar articles “Elementary Number Theory Problems” (with MML identifiers NUMBER*), but it is not solving any of “250 Problems in Elementary Number Theory” by Wacław Sierpiński book.

Authors

Institutions

Publication Details

Journal
Formalized Mathematics
Published
2025-09-01
DOI
https://doi.org/10.2478/forma-2025-0016
Citations
1
Primary Topic
Analytic Number Theory Research
Type
article
Field-Weighted Citation Impact
5.38
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Application of Complex Classes to Number Theory

Rafał Ziobro
1 citations
Formalized Mathematics
Analytic Number Theory Research
5.38
article

Application of Complex Classes to Number Theory

Rafał Ziobro
article en
1 citations

Abstract

Summary 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’ registrations for Mizar adjectives. The contents of the article are closely related to the series of Mizar articles “Elementary Number Theory Problems” (with MML identifiers NUMBER*), but it is not solving any of “250 Problems in Elementary Number Theory” by Wacław Sierpiński book.

Formalized MathematicsVol. 33(1)
AGH University of Krakow (PL)
Openalex Percentile: Top 4%
Analytic Number Theory Research
5.38
DOIOpen Access PDFOpenAlex
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Application of Complex Classes to Number Theory — Rafał Ziobro · Formalized Mathematics (2025) | TGRS Research Map | TGRS