A Bound for Prime Solutions of Some Ternary Equations.
Ming-Chit Liu (1984/85)
Mathematische Zeitschrift
Similarity:
Ming-Chit Liu (1984/85)
Mathematische Zeitschrift
Similarity:
R.S. Dark (1968)
Mathematische Zeitschrift
Similarity:
Jeffrey Kuester (1974)
Mathematische Zeitschrift
Similarity:
(1925)
Mathematische Zeitschrift
Similarity:
Jianya Liu, Kai-Man Tsang (2005)
Acta Arithmetica
Similarity:
Stephen A. Mitchell (1992)
Mathematische Zeitschrift
Similarity:
Kann Jiahai (1990)
Mathematische Zeitschrift
Similarity:
Christopher Hooley (1965)
Mathematische Zeitschrift
Similarity:
Hongze Li (2001)
Acta Arithmetica
Similarity:
Ken A. Jukes (1975)
Mathematische Zeitschrift
Similarity:
Dieter Wolke, Tao Zhan (1993)
Mathematische Zeitschrift
Similarity:
P. Gallagher (1974)
Acta Arithmetica
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.