Displaying similar documents to “A complete generalization of Yokoi's p-invariants”

The circle method and pairs of quadratic forms

Henryk Iwaniec, Ritabrata Munshi (2010)

Journal de Théorie des Nombres de Bordeaux

Similarity:

We give non-trivial upper bounds for the number of integral solutions, of given size, of a system of two quadratic form equations in five variables.

On integers not of the form n - φ (n)

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 2 k · 509203 (k = 1, 2,...) is of the form n - φ(n).

Lagrange’s Four-Square Theorem

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/.