Year: 2025
Type: article
Abstract: Summary This paper furthers the formalization of problems from Wacław Sierpiński book “250 Problems in Elementary Number Theory” in the Mizar system. The selected twelve items are 37, 101, 115, 117, 145, 157, 159, 161–163, 165, and 169.
Source: Formalized Mathematics
Authors: Artur Korniłowicz, Adam Naumowicz
Institution: University of Białystok
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W7119894645