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 A030179 #51 Feb 16 2025 08:32:35
%S A030179 0,0,1,4,16,36,81,144,256,400,625,900,1296,1764,2401,3136,4096,5184,
%T A030179 6561,8100,10000,12100,14641,17424,20736,24336,28561,33124,38416,
%U A030179 44100,50625,57600,65536,73984,83521,93636,104976,116964
%N A030179 Quarter-squares squared: A002620^2.
%C A030179 Conjectured to be crossing number of complete bipartite graph K_{n,n}. Known to be true for n <= 7.
%C A030179 If the Zarankiewicz conjecture is true, then a(n) is also the rectilinear crossing number of K_{n,n}. - _Eric W. Weisstein_, Apr 24 2017
%C A030179 a(n+1) is the number of 4-tuples (w,x,y,z) with all terms in {0,...,n}, and w,x,y+1,z+1 all even. - _Clark Kimberling_, May 29 2012
%D A030179 C. Thomassen, Embeddings and minors, pp. 301-349 of R. L. Graham et al., eds., Handbook of Combinatorics, MIT Press.
%H A030179 G. C. Greubel, <a href="/A030179/b030179.txt">Table of n, a(n) for n = 0..1000</a>
%H A030179 G. Xiao, <a href="http://wims.unice.fr/~wims/en_tool~number~contfrac.en.html">Contfrac</a>.
%H A030179 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/CompleteBipartiteGraph.html">Complete Bipartite Graph</a>.
%H A030179 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/GraphCrossingNumber.html">Graph Crossing Number</a>.
%H A030179 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/RectilinearCrossingNumber.html">Rectilinear Crossing Number</a>.
%H A030179 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/ZarankiewiczsConjecture.html">Zarankiewicz's Conjecture</a>.
%H A030179 <a href="/index/Rec#order_08">Index entries for linear recurrences with constant coefficients</a>, signature (2,2,-6,0,6,-2,-2,1).
%F A030179 a(n) = floor(n^2/4)^2.
%F A030179 From _R. J. Mathar_, Jul 08 2010: (Start)
%F A030179 G.f.: x^2*(1+2*x+6*x^2+2*x^3+x^4) / ( (1+x)^3*(1-x)^5 ).
%F A030179 a(n) = 2*a(n-1) +2*a(n-2) -6*a(n-3) +6*a(n-5) -2*a(n-6) -2*a(n-7) +a(n-8). (End)
%F A030179 a(n) = (2*n^4 -2*n^2 +1 +(-1)^n*(2*n^2 -1))/32. - _Luce ETIENNE_, Aug 11 2014
%F A030179 Sum_{n>=2} 1/a(n) = Pi^4/90 + Pi^2/3 - 3. - _Amiram Eldar_, Sep 17 2023
%p A030179 seq( (2*n^4 -2*n^2 +1 +(-1)^n*(2*n^2 -1))/32, n=0..40); # _G. C. Greubel_, Dec 28 2019
%t A030179 f[n_]:=Floor[n^2/2]; Table[Nest[f,n,2],{n,5!}]/2 (* _Vladimir Joseph Stephan Orlovsky_, Mar 10 2010 *)
%t A030179 LinearRecurrence[{2,2,-6,0,6,-2,-2,1}, {0,0,1,4,16,36,81,144}, 40] (* _Harvey P. Dale_, Apr 26 2011 *)
%t A030179 Floor[Range[0, 30]^2/4]^2 (* _Eric W. Weisstein_, Apr 24 2017 *)
%o A030179 (PARI) a(n) = (n^2\4)^2 \\ _Charles R Greathouse IV_, Jun 11 2015
%o A030179 (Magma) [(Floor(n^2/4))^2: n in [0..40]]; // _G. C. Greubel_, Dec 28 2019
%o A030179 (Sage) [floor(n^2/4)^2 for n in (0..40)] # _G. C. Greubel_, Dec 28 2019
%o A030179 (GAP) List([0..40], n-> (2*n^4 -2*n^2 +1 +(-1)^n*(2*n^2 -1))/32); # _G. C. Greubel_, Dec 28 2019
%Y A030179 Cf. A000241, A002620, A014540.
%K A030179 nonn,easy
%O A030179 0,4
%A A030179 _N. J. A. Sloane_, Jan 10 2002