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 条

[21] Continuous-Time Generalized Fractional Programming Problems. Part I: Basic Theory
Wen, Ching-Feng
JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2013, 157 (02) : 365 - 399
[22] Unified Duality Theory for Constrained Extremum Problems. Part I: Image Space Analysis
Zhu, S. K.
Li, S. J.
JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2014, 161 (03) : 738 - 762
[23] Unified Duality Theory for Constrained Extremum Problems. Part I: Image Space Analysis
S. K. Zhu
S. J. Li
Journal of Optimization Theory and Applications, 2014, 161 : 738 - 762
[24] Unified Duality Theory for Constrained Extremum Problems. Part II: Special Duality Schemes
Zhu, S. K.
Li, S. J.
JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2014, 161 (03) : 763 - 782
[25] Continuous-Time Generalized Fractional Programming Problems. Part I: Basic Theory
Ching-Feng Wen
Journal of Optimization Theory and Applications, 2013, 157 : 365 - 399
[26] Unified Duality Theory for Constrained Extremum Problems. Part II: Special Duality Schemes
S. K. Zhu
S. J. Li
Journal of Optimization Theory and Applications, 2014, 161 : 763 - 782
[27] The Theory of Identification Measurement Problems. A Discussion
S. F. Levin
Measurement Techniques, 2001, 44 : 680 - 694
[28] What is the theory of literature? Fundamentals and problems.
Camurati, Francesca
CARAVELLE-CAHIERS DU MONDE HISPANIQUE ET LUSO-BRESILIEN, 2006, (87): : 270 - 272
[29] Applications of dynamic theory to physiological problems.
Herrick, CL
JOURNAL OF COMPARATIVE NEUROLOGY AND PSYCHOLOGY, 1906, 16 (05): : 362 - 375
[30] THEOREM IN ELEMENTARY NUMBER THEORY
COHEN, E
AMERICAN MATHEMATICAL MONTHLY, 1964, 71 (07): : 782 - &

← 1 2 3 4 5 →