The Diophantine equation in three quadratic fields.
Szabó, Sándor (2004)
Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
Similarity:
Szabó, Sándor (2004)
Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
Similarity:
J. Browkin, A. Schinzel (1995)
Colloquium Mathematicae
Similarity:
W. Sierpiński asked in 1959 (see [4], pp. 200-201, cf. [2]) whether there exist infinitely many positive integers not of the form n - φ(n), where φ is the Euler function. We answer this question in the affirmative by proving Theorem. None of the numbers (k = 1, 2,...) is of the form n - φ(n).
J. H. E. Cohn (1992)
Acta Arithmetica
Similarity:
Maohua Le (1991)
Colloquium Mathematicae
Similarity:
Christoph Schwarzweller (2014)
Formalized Mathematics
Similarity:
In this article we introduce Proth numbers and prove two theorems on such numbers being prime [3]. We also give revised versions of Pocklington’s theorem and of the Legendre symbol. Finally, we prove Pepin’s theorem and that the fifth Fermat number is not prime.
Wayne McDaniel (1993)
Colloquium Mathematicae
Similarity:
Yasushige Watase (2014)
Formalized Mathematics
Similarity:
This article provides a formalized proof of the so-called “the four-square theorem”, namely any natural number can be expressed by a sum of four squares, which was proved by Lagrange in 1770. An informal proof of the theorem can be found in the number theory literature, e.g. in [14], [1] or [23]. This theorem is item #19 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/.
David Tsirekidze, Ala Avoyan (2013)
Matematički Vesnik
Similarity:
Paulo Ribenboim, Wayne McDaniel (1998)
Colloquium Mathematicae
Similarity:
Dominik J. Leitner (2011)
Journal de Théorie des Nombres de Bordeaux
Similarity:
The equation , to be solved in non-negative rational integers , has been mentioned by Masser as an example for which there is still no algorithm to solve completely. Despite this, we find here all the solutions. The equation , to be solved in non-negative rational integers and a rational integer , has been mentioned by Corvaja and Zannier as an example for which the number of solutions is not yet known even to be finite. But we find here all the solutions too; there are in fact...