Elementary Number Theory Problems. Part III
Artur Korniłowicz
Institute of Computer Science, University of BiałystokPoland
Orcid-ProfilSuche nach diesem Autor auf
24. Dez. 2022
Über diesen Artikel
Online veröffentlicht: 24. Dez. 2022
Seitenbereich: 135 - 158
Akzeptiert: 23. Juli 2022
DOI: https://doi.org/10.2478/forma-2022-0011
Schlüsselwörter
© 2022 Artur Korniłowicz, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
In this paper problems 11, 16, 19–24, 39, 44, 46, 74, 75, 77, 82, and 176 from [10] are formalized as described in [6], using the Mizar formalism [1], [2], [4]. Problems 11 and 16 from the book are formulated as several independent theorems. Problem 46 is formulated with a given example of required properties. Problem 77 is not formulated using triangles as in the book is.