Elementary Number Theory Problems. Part XVI

被引：0
|
作者：
Pak, Karol [1 ]
机构：
[1] Univ Bialystok, Fac Comp Sci, Bialystok, Poland
来源：
FORMALIZED MATHEMATICS | 2024年 / 32卷 / 01期
关键词：
number theory; prime number; arithmetic progression;
D O I：
10.2478/forma-2024-0017
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this paper, we continue the work on formalizing problems from "250 Problems in Elementary Number Theory" by Wac & lstrok;aw Sierpi & nacute;ski, using Mizar proof assistant. The formalization covers problems 63, 65, 66, 67, 68, 93, 95, 96, 102, and 103.
引用
收藏
页码：203 / 212
页数：10
相关论文
共 50 条
  • [1] Elementary Number Theory Problems. Part IX
    Kornilowicz, Artur
    FORMALIZED MATHEMATICS, 2023, 31 (01): : 161 - 169
  • [2] Elementary Number Theory Problems. Part IV
    Kornilowicz, Artur
    FORMALIZED MATHEMATICS, 2022, 30 (03): : 223 - 228
  • [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 XI
    Naumowicz, Adam
    FORMALIZED MATHEMATICS, 2023, 31 (01): : 229 - 275
  • [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