The On-Line Encyclopedia of Integer Sequences (OEIS)

Revision History for A185098 (Bold, blue-underlined text is an addition; faded, red-underlined text is a ~~deletion~~.)
Showing entries 1-10 | older changes

A185098

a(n) = floor((265/6)*4^(n-4) - n^2 - ((15+(-1)^(n-1))/6)* 2^(n-3)).
(history; published version)

#35 by Charles R Greathouse IV at Thu Sep 08 08:45:55 EDT 2022

PROG

(MAGMAMagma) [Floor((265/6)*(4^(n-4))-(n^2 + ((15+(-1)^(n-1))/6)*(2^(n-3)))): n in [4..30]]; // Vincenzo Librandi, Mar 25 2012

Discussion

Thu Sep 08

08:45

OEIS Server: https://oeis.org/edit/global/2944

#34 by Charles R Greathouse IV at Fri Jun 23 01:01:06 EDT 2017

STATUS

proposed

approved

#33 by G. C. Greubel at Fri Jun 23 00:00:30 EDT 2017

STATUS

editing

proposed

#32 by G. C. Greubel at Fri Jun 23 00:00:19 EDT 2017

NAME

Floora(n) = floor((265/6)*(4^(n-4)) -( n^2 + - ((15+(-1)^(n-1))/6)*( 2^(n-3)))).

LINKS

Haoli Wang, Xirong Xu, Yuansheng Yang, Bao Liu, Wenping Zheng and Guoqing Wang, <a href="http://arxiv.org/abs/1103.4227">The crossing number of locally twisted cubes</a>, arXiv:1103.4227, [math.CO], Mar 22, 2011.

FORMULA

Empirical G.f.: -x^4*(8*x^6-36*x^5+22*x^4+67*x^3-82*x^2-20*x+23) / ((x-1)^3*(2*x-1)*(2*x+1)*(4*x-1)). [_- _Colin Barker_, Dec 04 2012]

MATHEMATICA

Table[Floor[(265/6)*4^(n-4) - n^2 - ((15+(-1)^(n-1))/6)* 2^(n-3)], {n, 4, 50}] (* G. C. Greubel, Jun 22 2017 *)

PROG

(MAGMA) [Floor((265/6)*(4^(n-4))-(n^2 + ((15+(-1)^(n-1))/6)*(2^(n-3)))): n in [4..30]]; // _Vincenzo Librandi, _, Mar 25 2012

STATUS

approved

editing

#31 by T. D. Noe at Tue Dec 04 15:20:15 EST 2012

STATUS

proposed

approved

#30 by Colin Barker at Tue Dec 04 14:03:00 EST 2012

STATUS

editing

proposed

#29 by Colin Barker at Tue Dec 04 14:02:56 EST 2012

FORMULA

Empirical G.f.: -x^4*(8*x^6-36*x^5+22*x^4+67*x^3-82*x^2-20*x+23) / ((x-1)^3*(2*x-1)*(2*x+1)*(4*x-1)). [Colin Barker, Dec 04 2012]

STATUS

approved

editing

#28 by Russ Cox at Fri Mar 30 18:40:58 EDT 2012

AUTHOR

_Jonathan Vos Post (jvospost3(AT)gmail.com), _, Mar 23 2011

Discussion

Fri Mar 30

18:40

OEIS Server: https://oeis.org/edit/global/228

#27 by Russ Cox at Fri Mar 30 18:39:41 EDT 2012

EXTENSIONS

More terms from _Sean A. Irvine (sairvin(AT)xtra.co.nz), _, May 24 2011

Discussion

Fri Mar 30

18:39

OEIS Server: https://oeis.org/edit/global/220

#26 by Russ Cox at Fri Mar 30 17:35:24 EDT 2012

EXTENSIONS

More terms from _Franklin T. Adams-Watters (FrankTAW(AT)Netscape.net), _, Mar 24 2011

Discussion

Fri Mar 30

17:35

OEIS Server: https://oeis.org/edit/global/165