<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>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.</p>
</abstract>

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.

Elementary Number Theory Problems. Part III

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

{"article-title":"Elementary Number Theory Problems. Part III"}

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],...

初等数论问题。第三部分

在线发布:2022年12月24日

页面范围： 135 - 158

认可的:2022年7月23日

内政部： https://doi.org/10.2478/forma-2022-0011

关键词
数论,可分割性,素数

©2022 Artur Korniłowicz，由Sciendo出版

本作品根据Creative Commons Attribution-ShareAlike 4.0 International License获得许可。