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 A180451 #16 Jul 03 2025 14:52:31
%S A180451 3,19,29,41,101,109,127,281,293,353,509,523,743,821,853,919,1019,1193,
%T A180451 1229,1283,1301,2503,2683,2797,2843,3221,3637,3863,4093,4327,4889,
%U A180451 4943,5897,6451,6481,6659,6689,6719,6779,6869,6899,7541,7603,7759,7853,8423
%N A180451 Primes of the form floor(2*k^sqrt(2) - k).
%H A180451 Charles R Greathouse IV, <a href="/A180451/b180451.txt">Table of n, a(n) for n = 1..10000</a>
%t A180451 Select[Table[Floor[2n^Sqrt[2] -n],{n,1000}],PrimeQ] (* _Harvey P. Dale_, Jun 23 2013 *)
%o A180451 (PARI) for(n=1, 1e4, if(ispseudoprime(t=floor(2*n^sqrt(2)-n)), print1(t", "))); v \\ _Charles R Greathouse IV_, Feb 18 2011
%K A180451 easy,nonn
%O A180451 1,1
%A A180451 _William A. Tedeschi_, Sep 07 2010
%E A180451 Sequence renamed by _R. J. Mathar_, Sep 09 2010