Elementary Number Theory Problems. Part III
Artur Korniłowicz
Institute of Computer Science, University of BiałystokPoland
Perfil de OrcidBuscar este autor en
24 dic 2022
Acerca de este artículo
Publicado en línea: 24 dic 2022
Páginas: 135 - 158
Aceptado: 23 jul 2022
DOI: https://doi.org/10.2478/forma-2022-0011
Palabras clave
© 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.