Elementary Number Theory Problems. Part XI

被引：1
|
作者：
Naumowicz, Adam [1 ]
机构：
[1] Univ Biaystok, Fac Comp Sci, Bialystok, Poland
来源：
FORMALIZED MATHEMATICS | 2023年 / 31卷 / 01期
关键词：
number theory; base; 10; representations; sums of digits; divisibility;
D O I：
10.2478/forma-2023-0021
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this paper we present the Mizar formalization of the 36th problem from W. Sierpiski's book "250 Problems in Elementary Number Theory" [10].
引用
收藏
页码：229 / 275
页数：47
相关论文
共 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 VIII
    Kornilowicz, Artur
    FORMALIZED MATHEMATICS, 2023, 31 (01): : 87 - 100
  • [4] Elementary Number Theory Problems. Part I
    Naumowicz, Adam
    FORMALIZED MATHEMATICS, 2020, 28 (01): : 115 - 120
  • [5] Elementary Number Theory Problems. Part II
    Kornilowicz, Artur
    Surowik, Dariusz
    FORMALIZED MATHEMATICS, 2021, 29 (01): : 63 - 68
  • [6] Elementary Number Theory Problems. Part XIII
    Kornilowicz, Artur
    Ziobro, Rafal
    FORMALIZED MATHEMATICS, 2024, 32 (01): : 1 - 8
  • [7] Elementary Number Theory Problems. Part III
    Kornilowicz, Artur
    FORMALIZED MATHEMATICS, 2022, 30 (02): : 135 - 158
  • [8] Elementary Number Theory Problems. Part XVI
    Pak, Karol
    FORMALIZED MATHEMATICS, 2024, 32 (01): : 203 - 212
  • [9] Elementary Number Theory Problems. Part VI
    Grabowski, Adam
    FORMALIZED MATHEMATICS, 2022, 30 (03): : 235 - 244
  • [10] Elementary Number Theory Problems. Part X - Diophantine Equations
    Kornilowicz, Artur
    FORMALIZED MATHEMATICS, 2023, 31 (01): : 171 - 180
12345