Year: 2025
Type: article
Abstract: Summary In this paper, we present formal solutions to twelve problems selected from Wacław Sierpiński’s book 250 Problems in Elementary Number Theory . The selected problems are: 108, 112–114, 118–119, 127, 129, 130, and 132–134 formalized in the Mizar system.
Source: Formalized Mathematics
Author: Karol Pąk
Institution: University of Białystok
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W7119668617