Elementary Number Theory Problems. Part I

Autor:	Adam Naumowicz
Jazyk:	angličtina
Rok vydání:	2020
Předmět:	11a99 Computational Mathematics Number theory number theory 03b35 Applied Mathematics recreational mathematics Mathematics education QA1-939 68v20 Mathematics Recreational mathematics
Zdroj:	Formalized Mathematics, Vol 28, Iss 1, Pp 115-120 (2020)
ISSN:	1898-9934 1426-2630
Popis:	Summary In this paper we demonstrate the feasibility of formalizing recreational mathematics in Mizar ([1], [2]) drawing examples from W. Sierpinski’s book “250 Problems in Elementary Number Theory” [4]. The current work contains proofs of initial ten problems from the chapter devoted to the divisibility of numbers. Included are problems on several levels of difficulty.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::57c723d03df97baebbfd6b3f6b22136a https://doaj.org/article/cdf98613e70c4554a56be885aac8db97 Zobrazit plný text záznamu Plný text ve formátu PDF