The divisibility of by powers of .
Győry, Kálmán, Smyth, Chris (2010)
Integers
Similarity:
Győry, Kálmán, Smyth, Chris (2010)
Integers
Similarity:
Ayad, Mohamed, Kihel, Omar (2009)
Integers
Similarity:
Nathanson, Melvyn B., Orosz, Brooke (2007)
Integers
Similarity:
El Bachraoui, Mohamed (2010)
Integers
Similarity:
Ayad, Mohamed, Kihel, Omar (2008)
Journal of Integer Sequences [electronic only]
Similarity:
Robertson, Leanne, Small, Ben (2009)
Integers
Similarity:
Florian Luca, Francesco Pappalardi (2007)
Acta Arithmetica
Similarity:
Chen, Yong-Gao, Fang, Jin-Hui (2008)
Integers
Similarity:
Zhou, Weiyi, Zhu, Long (2009)
Integers
Similarity:
Marco Riccardi (2006)
Formalized Mathematics
Similarity:
The first four sections of this article include some auxiliary theorems related to number and finite sequence of numbers, in particular a primality test, the Pocklington's theorem (see [19]). The last section presents the formalization of Bertrand's postulate closely following the book [1], pp. 7-9.
Wacław Sierpiński
Similarity:
Iannucci, Douglas E., Mintos, Alexia S. (2005)
Integers
Similarity:
Martin, Harold W. (2007)
Integers
Similarity: