This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A088962 #24 Apr 25 2025 04:30:09 %S A088962 2,3,4,5,7,9,10,11,12,14,15,18,19,21,22,26,27,29,30,33,34,35,42,45,47, %T A088962 49,51,54,55,58,63,65,66,69,70,73,79,85,86,87,105,106,110,111,113,114, %U A088962 126,129,138,147,151,157,163,167,178,186,189,217,231,239,241,242,283 %N A088962 Values of n that generate Generalized Gaussian-Mersenne primes (see below). %H A088962 M. Chamberland, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL6/Chamberland/chamberland60.html">Binary BBP-Formulae for Logarithms and Generalized Gaussian-Mersenne Primes</a>, Journal of Integer Sequences, v.6 (2003), article 03.3.7, 1-10. %F A088962 The numerator of the rational expression exp(2*Re(log(Phi_n((1+i)/2)))) is prime, where Phi_n is the n-th cyclotomic polynomial. %t A088962 t = {}; Do[s = FullSimplify[Exp[2 Re[Log [Cyclotomic[n, (1 + I)/2]]]]]; If[PrimeQ[Numerator[s]], AppendTo[t, n]], {n, 100}]; t (* _T. D. Noe_, May 02 2012 *) %Y A088962 Cf. A057429, A182300 (Gaussian-Mersenne primes). %K A088962 nonn %O A088962 1,1 %A A088962 _Marc Chamberland_, Oct 28 2003