On relatively prime subsets and supersets.
El Bachraoui, Mohamed (2010)
Integers
Similarity:
El Bachraoui, Mohamed (2010)
Integers
Similarity:
Ayad, Mohamed, Kihel, Omar (2008)
Journal of Integer Sequences [electronic only]
Similarity:
Nathanson, Melvyn B., Orosz, Brooke (2007)
Integers
Similarity:
Győry, Kálmán, Smyth, Chris (2010)
Integers
Similarity:
El Bachraoui, Mohamed (2008)
Integers
Similarity:
Nathanson, Melvyn B. (2007)
Integers
Similarity:
Martin, Harold W. (2007)
Integers
Similarity:
Florian Luca, Francesco Pappalardi (2007)
Acta Arithmetica
Similarity:
Zhou, Weiyi, Zhu, Long (2009)
Integers
Similarity:
Mazur, Marcin (2006)
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.
Chen, Yong-Gao, Fang, Jin-Hui (2008)
Integers
Similarity:
Rowland, Eric S. (2008)
Journal of Integer Sequences [electronic only]
Similarity:
Shanta Laishram, T. N. Shorey (2004)
Acta Arithmetica
Similarity: