# Greetings from The On-Line Encyclopedia of Integer Sequences! http://oeis.org/ Search: id:a093112 Showing 1-1 of 1 %I A093112 #40 Feb 18 2022 19:25:45 %S A093112 -1,7,47,223,959,3967,16127,65023,261119,1046527,4190207,16769023, %T A093112 67092479,268402687,1073676287,4294836223,17179607039,68718952447, %U A093112 274876858367,1099509530623,4398042316799,17592177655807,70368727400447,281474943156223,1125899839733759 %N A093112 a(n) = (2^n-1)^2 - 2. %C A093112 Cletus Emmanuel calls these "Carol numbers". %H A093112 Michael De Vlieger, Table of n, a(n) for n = 1..1660 %H A093112 Amelia Carolina Sparavigna, Binary Operators of the Groupoids of OEIS A093112 and A093069 Numbers(Carol and Kynea Numbers), Department of Applied Science and Technology, Politecnico di Torino (Italy, 2019). %H A093112 Amelia Carolina Sparavigna, Some Groupoids and their Representations by Means of Integer Sequences, International Journal of Sciences (2019) Vol. 8, No. 10. %H A093112 Eric Weisstein's World of Mathematics, Near-Square Prime %H A093112 Index entries for linear recurrences with constant coefficients, signature (7,-14,8). %F A093112 a(n) = (2^n-1)^2 - 2. %F A093112 From _Colin Barker_, Jul 07 2014: (Start) %F A093112 a(n) = 6*a(n-1) - 7*a(n-2) - 6*a(n-3) + 8*a(n-4). %F A093112 G.f.: x*(16*x^2-14*x+1) / ((x-1)*(2*x-1)*(4*x-1)). (End) %F A093112 E.g.f.: 2 - exp(x) - 2*exp(2*x) + exp(4*x). - _Stefano Spezia_, Dec 09 2019 %p A093112 seq((Stirling2(n+1, 2))^2-2, n=1..23); # _Zerinvary Lajos_, Dec 20 2006 %t A093112 lst={};Do[p=(2^n-1)^2-2;AppendTo[lst, p], {n, 66}];lst (* _Vladimir Joseph Stephan Orlovsky_, Sep 27 2008 *) %t A093112 Rest@ CoefficientList[Series[x (16 x^2 - 14 x + 1)/((x - 1) (2 x - 1) (4 x - 1)), {x, 0, 25}], x] (* _Michael De Vlieger_, Dec 09 2019 *) %o A093112 (PARI) Vec(x*(16*x^2-14*x+1)/((x-1)*(2*x-1)*(4*x-1)) + O(x^100)) \\ _Colin Barker_, Jul 07 2014 %o A093112 (PARI) a(n) = (2^n-1)^2-2 \\ _Charles R Greathouse IV_, Sep 10 2015 %o A093112 (Python) %o A093112 def A093112(n): return (2**n-1)**2-2 # _Chai Wah Wu_, Feb 18 2022 %Y A093112 Cf. A000225. %K A093112 sign,easy %O A093112 1,2 %A A093112 _Eric W. Weisstein_, Mar 20 2004 %E A093112 More terms from _Colin Barker_, Jul 07 2014 # Content is available under The OEIS End-User License Agreement: http://oeis.org/LICENSE