Primitive prime divisors in polynomial arithmetic dynamics.
Rice, Brian (2007)
Integers
Similarity:
Rice, Brian (2007)
Integers
Similarity:
Andrzej Schinzel (1963)
Acta Arithmetica
Similarity:
Andrzej Rotkiewicz (2005)
Acta Mathematica Universitatis Ostraviensis
Similarity:
We use the properties of -adic integrals and measures to obtain general congruences for Genocchi numbers and polynomials and tangent coefficients. These congruences are analogues of the usual Kummer congruences for Bernoulli numbers, generalize known congruences for Genocchi numbers, and provide new congruences systems for Genocchi polynomials and tangent coefficients.
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.
K. Ramachandra (1971)
Acta Arithmetica
Similarity:
Jiahai Kan (2004)
Acta Arithmetica
Similarity:
Müller, Tom (2005)
Journal of Integer Sequences [electronic only]
Similarity:
Magdalena Jastrzebska, Adam Grabowski (2006)
Formalized Mathematics
Similarity:
We formalized some basic properties of the Möbius function which is defined classically as [...] as e.g., its multiplicativity. To enable smooth reasoning about the sum of this number-theoretic function, we introduced an underlying many-sorted set indexed by the set of natural numbers. Its elements are just values of the Möbius function.The second part of the paper is devoted to the notion of the radical of number, i.e. the product of its all prime factors.The formalization (which is...
Florian Luca, Francesco Pappalardi (2007)
Acta Arithmetica
Similarity: