Elementary Number Theory Problems. Part VIII

被引：1

作者：

Kornilowicz, Artur ^{[1
]}

机构：

[1] Univ Biaystok, Fac Comp Sci, Bialystok, Poland

来源：

FORMALIZED MATHEMATICS | 2023年 / 31卷 / 01期

关键词：

number theory; divisibility; primes; factorization;

D O I：

10.2478/forma-2023-0009

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this paper problems 25, 86, 88, 105, 111, 137-142, and 184-185 from [12] are formalized, using the Mizar formalism [3], [1], [4]. This is a continuation of the work from [5], [6], and [2] as suggested in [8]. The automatization of selected lemmas from [11] proven in this paper as proposed in [9] could be an interesting future work.

引用

页码：87 / 100

页数：14

共 50 条

[1] Elementary Number Theory Problems. Part IX
Kornilowicz, Artur
FORMALIZED MATHEMATICS, 2023, 31 (01): : 161 - 169
[2] Elementary Number Theory Problems. Part V
Kornilowicz, Artur
Naumowicz, Adam
FORMALIZED MATHEMATICS, 2022, 30 (03): : 229 - 234
[3] Elementary Number Theory Problems. Part I
Naumowicz, Adam
FORMALIZED MATHEMATICS, 2020, 28 (01): : 115 - 120
[4] Elementary Number Theory Problems. Part II
Kornilowicz, Artur
Surowik, Dariusz
FORMALIZED MATHEMATICS, 2021, 29 (01): : 63 - 68
[5] Elementary Number Theory Problems. Part XIII
Kornilowicz, Artur
Ziobro, Rafal
FORMALIZED MATHEMATICS, 2024, 32 (01): : 1 - 8
[6] Elementary Number Theory Problems. Part III
Kornilowicz, Artur
FORMALIZED MATHEMATICS, 2022, 30 (02): : 135 - 158
[7] Elementary Number Theory Problems. Part XI
Naumowicz, Adam
FORMALIZED MATHEMATICS, 2023, 31 (01): : 229 - 275
[8] Elementary Number Theory Problems. Part VI
Grabowski, Adam
FORMALIZED MATHEMATICS, 2022, 30 (03): : 235 - 244
[9] Elementary Number Theory Problems. Part X - Diophantine Equations
Kornilowicz, Artur
FORMALIZED MATHEMATICS, 2023, 31 (01): : 171 - 180
[10] Elementary Number Theory Problems. Part XII - Primes in Arithmetic Progression
Grabowski, Adam
FORMALIZED MATHEMATICS, 2023, 31 (01): : 277 - 286

← 1 2 3 4 5 →