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 条
12345