Results 1  10
of
230
Elliptic Curves And Primality Proving
 Math. Comp
, 1993
"... The aim of this paper is to describe the theory and implementation of the Elliptic Curve Primality Proving algorithm. ..."
Abstract

Cited by 201 (22 self)
 Add to MetaCart
(Show Context)
The aim of this paper is to describe the theory and implementation of the Elliptic Curve Primality Proving algorithm.
Congruences concerning Bernoulli numbers and Bernoulli polynomials
 Discrete Appl. Math
, 2000
"... Let {Bn(x)} denote Bernoulli polynomials. In this paper we generalize Kummer’s congruences by determining Bk(p−1)+b(x)=(k(p − 1) + b) (mod p n), where p is an odd prime, x is a pintegral rational number and p − 1 b. As applications we obtain explicit formulae for ∑p−1 x=1 (1=xk) (mod p 3); ∑ (p−1 ..."
Abstract

Cited by 51 (21 self)
 Add to MetaCart
(Show Context)
Let {Bn(x)} denote Bernoulli polynomials. In this paper we generalize Kummer’s congruences by determining Bk(p−1)+b(x)=(k(p − 1) + b) (mod p n), where p is an odd prime, x is a pintegral rational number and p − 1 b. As applications we obtain explicit formulae for ∑p−1 x=1 (1=xk) (mod p 3); ∑ (p−1)=2 (1=x
New infinite families of exact sums of squares formulas, Jacobi elliptic functions, and Ramanujan’s tau function
, 1996
"... Dedicated to the memory of GianCarlo Rota who encouraged me to write this paper in the present style Abstract. In this paper we derive many infinite families of explicit exact formulas involving either squares or triangular numbers, two of which generalize Jacobi’s 4 and 8 squares identities to 4n ..."
Abstract

Cited by 45 (1 self)
 Add to MetaCart
(Show Context)
Dedicated to the memory of GianCarlo Rota who encouraged me to write this paper in the present style Abstract. In this paper we derive many infinite families of explicit exact formulas involving either squares or triangular numbers, two of which generalize Jacobi’s 4 and 8 squares identities to 4n 2 or 4n(n + 1) squares, respectively, without using cusp forms. In fact, we similarly generalize to infinite families all of Jacobi’s explicitly stated degree 2, 4, 6, 8 Lambert series expansions of classical theta functions. In addition, we extend Jacobi’s special analysis of 2 squares, 2 triangles, 6 squares, 6 triangles to 12 squares, 12 triangles, 20 squares, 20 triangles, respectively. Our 24 squares identity leads to a different formula for Ramanujan’s tau function τ(n), when n is odd. These results, depending on new expansions for powers of various products of classical theta functions, arise in the setting of Jacobi elliptic functions, associated continued fractions, regular Cfractions, Hankel or Turánian determinants, Fourier series, Lambert series, inclusion/exclusion, Laplace expansion formula for determinants, and Schur functions. The Schur function form of these infinite families of identities are analogous to the ηfunction identities of Macdonald. Moreover, the powers 4n(n + 1), 2n 2 + n, 2n 2 − n that appear in Macdonald’s work also arise at appropriate places in our analysis. A special case of our general methods yields a proof of the two Kac–Wakimoto conjectured identities involving representing
There are only finitely many Diophantine quintuples
 J. Reine angew. Math
, 2004
"... A set of m positive integers is called a Diophantine mtuple if the product of its any two distinct elements increased by 1 is a perfect square. Diophantus found a set of four positive rationals with the above property. The first Diophantine quadruple was found by Fermat (the set {1, 3, 8, 120}). Ba ..."
Abstract

Cited by 44 (27 self)
 Add to MetaCart
(Show Context)
A set of m positive integers is called a Diophantine mtuple if the product of its any two distinct elements increased by 1 is a perfect square. Diophantus found a set of four positive rationals with the above property. The first Diophantine quadruple was found by Fermat (the set {1, 3, 8, 120}). Baker and Davenport proved that this particular quadruple cannot be extended to a Diophantine quintuple. In this paper, we prove that there does not exist a Diophantine sextuple and that there are only finitely many Diophantine quintuples.
COMBINATORIAL CONGRUENCES Modulo Prime Powers
, 2007
"... Let p be any prime, and let α and n be nonnegative integers. Let r ∈ Z and f(x) ∈ Z[x]. We establish the congruence deg f p ∑ k≡r (mod p α) ..."
Abstract

Cited by 26 (17 self)
 Add to MetaCart
Let p be any prime, and let α and n be nonnegative integers. Let r ∈ Z and f(x) ∈ Z[x]. We establish the congruence deg f p ∑ k≡r (mod p α)
Some rational Diophantine sextuples
"... Abstract. A famous problem posed by Diophantus was to nd sets of distinct positive rational numbers such that the product of any two is one less than a rational square. Some sets of six such numbers are presented and the computational algorithm used to nd them is described. A classication of quadrup ..."
Abstract

Cited by 25 (1 self)
 Add to MetaCart
(Show Context)
Abstract. A famous problem posed by Diophantus was to nd sets of distinct positive rational numbers such that the product of any two is one less than a rational square. Some sets of six such numbers are presented and the computational algorithm used to nd them is described. A classication of quadruples and quintuples with examples and statistics is also given. 1. Historical introduction In the third century AD, Diophantus of Alexandria studied various problems of indeterminate equations with rational or integer solutions. One of these was to nd sets of distinct positive rational numbers such that the product of any two is one less than a rational square [14]. He found examples of four such numbers, e.g. 1
Propagation Characteristics and CorrelationImmunity of Highly Nonlinear Boolean Functions
 EUROCRYPT 2000, Lecture Notes in Comp. Sci
, 2000
"... Abstract. We investigate the link between the nonlinearity of a Boolean function and its propagation characteristics. We prove that highly nonlinear functions usually have good propagation properties regarding different criteria. Conversely, any Boolean function satisfying the propagation criterion ..."
Abstract

Cited by 24 (7 self)
 Add to MetaCart
Abstract. We investigate the link between the nonlinearity of a Boolean function and its propagation characteristics. We prove that highly nonlinear functions usually have good propagation properties regarding different criteria. Conversely, any Boolean function satisfying the propagation criterion with respect to a linear subspace of codimension 1 or 2 has a high nonlinearity. We also point out that most highly nonlinear functions with a threevalued Walsh spectrum can be transformed into 1resilient functions. 1
An absolute bound for the size of Diophantine mtuples
 J. Number Theory
, 2001
"... A set of m positive integers is called a Diophantine mtuple if the product of its any two distinct elements increased by 1 is a perfect square. We prove that if b, c} is a Diophantine triple such that b > 4a and c > max{b or c > max{b then there is unique positive integer d su ..."
Abstract

Cited by 23 (12 self)
 Add to MetaCart
(Show Context)
A set of m positive integers is called a Diophantine mtuple if the product of its any two distinct elements increased by 1 is a perfect square. We prove that if b, c} is a Diophantine triple such that b > 4a and c > max{b or c > max{b then there is unique positive integer d such that d > c and is a Diophantine quadruple. Furthermore, we prove that there does not exist a Diophantine 9tuple and that there are only finitely many Diophantine 8tuples. 1