Elementary Number Theory Problems. Part VIII

被引：2

作者：

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 条

[31] LECTURES ON ELEMENTARY NUMBER THEORY
HALBERST.H
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1965, 40 (158P): : 381 - &
[32] REFUTABILITY AND ELEMENTARY NUMBER THEORY
LOPEZESCOBAR, EG
PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1972, 75 (04): : 362 - +
[33] Restrictions of graph partition problems. Part I
Bodlaender, H.L.
Jansen, K.
Theoretical Computer Science, 1995, 148 (01):
[34] A Theorem in Elementary Number Theory
Matsumoto, Yukio
Maria Montesinos-Amilibia, Jose
PSEUDO-PERIODIC MAPS AND DEGENERATION OF RIEMANN SURFACES, 2011, 2030 : 131 - 169
[35] The theory of identification measurement problems. A discussion
Levin, SF
MEASUREMENT TECHNIQUES, 2001, 44 (07) : 680 - 694
[36] Physical examination in vascular problems. Part two
Moscicka, Paulina
Szewczyk, Maria Teresa
Cierzniakowska, Katarzyna
Cwajda-Bialasik, Justyna
Popow, Aleksandra
Kozlowska, Elzbieta
Woda, Lukasz
Jawien, Arkadiusz
PIELEGNIARSTWO CHIRURGICZNE I ANGIOLOGICZNE-SURGICAL AND VASCULAR NURSING, 2013, (03): : 79 - 83
[37] A Hybrid Differential Dynamic Programming Algorithm for Constrained Optimal Control Problems. Part 1: Theory
Gregory Lantoine
Ryan P. Russell
Journal of Optimization Theory and Applications, 2012, 154 : 382 - 417
[38] A Hybrid Differential Dynamic Programming Algorithm for Constrained Optimal Control Problems. Part 1: Theory
Lantoine, Gregory
Russell, Ryan P.
JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2012, 154 (02) : 382 - 417
[39] ASYMPTOTIC DIFFUSION AND SIMPLIFIED PN APPROXIMATIONS FOR DIFFUSIVE AND DEEP PENETRATION PROBLEMS. PART 1: THEORY
Larsen, Edward W.
TRANSPORT THEORY AND STATISTICAL PHYSICS, 2010, 39 (2-4): : 110 - 163
[40] ELEMENTARY ARITHMETIC PROBLEMS. STRUCTURE AND MATHEMATICAL MODEL. CLASSIFICATION. WORD PROBLEMS
Varbanova, Margarita
Lalchev, Zdravko
Voutova, Irina
MATHEMATICS AND INFORMATICS, 2015, 58 (03): : 231 - 250

← 1 2 3 4 5 →