Wagstaff prime

A Wagstaff prime $p$ is a prime number of the form $\\displaystyle\\frac{2^{2n+1}+1}{3}$ . The first few are 3, 11, 43, 683, 2731, 43691, 174763, 2796203, 715827883, etc., given in A000979 of Sloane’s OEIS. The exponent of 2 in the formula given above must be an odd number for the result to be an integer in the first place, and that exponent must not be composite.

Currently, the largest known Wagstaff prime, corresponding to an exponent of 42737, is approximately $4.383322622\\times 10^{12864}$ . As there is no known special primality test for Wagstaff primes, François Morain had to use elliptic curve primality proving (ECPP) over several months to prove the primality of this Wagstaff prime, finishing in August 2007. (Morain names these primes after Samuel Wagstaff, Jr.) A000978 lists nine exponents which give probable primes.

References

1 François Morain, “Distributed primality proving and the primality of $\\frac{(2^{3539}+1)}{3}$ ” Lecture Notes in Comput. Sci. 473 (1991): 110 - 123

单词	WagstaffPrime
释义	Wagstaff prime A Wagstaff prime $p$ is a prime number of the form $\\displaystyle\\frac{2^{2n+1}+1}{3}$ . The first few are 3, 11, 43, 683, 2731, 43691, 174763, 2796203, 715827883, etc., given in A000979 of Sloane’s OEIS. The exponent of 2 in the formula given above must be an odd number for the result to be an integer in the first place, and that exponent must not be composite. Currently, the largest known Wagstaff prime, corresponding to an exponent of 42737, is approximately $4.383322622\\times 10^{12864}$ . As there is no known special primality test for Wagstaff primes, François Morain had to use elliptic curve primality proving (ECPP) over several months to prove the primality of this Wagstaff prime, finishing in August 2007. (Morain names these primes after Samuel Wagstaff, Jr.) A000978 lists nine exponents which give probable primes. References 1 François Morain, “Distributed primality proving and the primality of $\\frac{(2^{3539}+1)}{3}$ ” Lecture Notes in Comput. Sci. 473 (1991): 110 - 123
随便看	Ascoli-Arzelà theorem ASemilatticeIsACommutativeBand a semilattice is a commutative band ASeriesRelatedToHarmonicSeries a series related to harmonic series AShorterProofMartinsAxiomAndTheContinuumHypothesis a shorter proof: Martin’s axiom and the continuum hypothesis ASimpleMethodForComparingRealFunctions a simple method for comparing real functions ASimpleMethodForFindingTheRootsOfNumbers A simple method for finding the roots of numbers ASpaceIsCompactIffAnyFamilyOfClosedSetsHavingFipHasNonemptyIntersection a space is compact iff any family of closed sets having fip has non-empty intersection ASpaceIsConnectedUnderTheOrderedTopologyIfAndOnlyIfItIsALinearContinuum a space is connected under the ordered topology if and only if it is a linear continuum. ASpaceIsT1IfAndOnlyIfDistinctPointsAreSeparated a space is T_1 if and only if distinct points are separated ASpaceIsT1IfAndOnlyIfEverySingletonIsClosed a space is T1 if and only if every singleton is closed ASpaceIsT1IfAndOnlyIfEverySubsetAIsTheIntersectionOfAllOpenSetsContainingA a space is T1 if and only if every subset A is the intersection of all open sets containing A ASpacemathnormalXIsHausdorffIfAndOnlyIfDeltaXIsClosed a space X is Hausdorff if and only if Δ⁢(X) is closed ASpecialCaseOfPartialIntegration a special case of partial integration