Year: 2025
Type: article
Abstract: Summary In this paper another seven problems from Wacław Sierpiński’s book “250 Problems in Elementary Number Theory” are formalized, using the Mizar formalism, namely: 53, 61, 81, 90, 100, 156, and 167.
Source: Formalized Mathematics
Author: Adam Grabowski
Institution: University of Białystok
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W7119695287