OFFSET
1,3
COMMENTS
LINKS
Robert Israel, Table of n, a(n) for n = 1..22
Daniel M. Kane, Carlo Sanna, and Jeffrey Shallit, Waring's theorem for binary powers, arXiv:1801.04483 [math.NT], Jan 13 2018.
FORMULA
a(n) = Product_{0 <= i < j <= n-1} (2^j - 2^i) = 2^(n*(n-1)*(n-2)/6) * Product_{1<=k<=n-1} (2^k-1)^(n-k). - Robert Israel, Jan 16 2018
MAPLE
with(LinearAlgebra):
a:= n-> Determinant(VandermondeMatrix([2^i$i=0..n-1])):
seq(a(n), n=1..12); # Alois P. Heinz, Jul 23 2017
f:= n -> 2^(n*(n-1)*(n-2)/6)*mul((2^k-1)^(n-k), k=1..n-1):
seq(f(n), n=1..12); # Robert Israel, Jan 16 2018
MATHEMATICA
CROSSREFS
KEYWORD
nonn
AUTHOR
Clark Kimberling, Jan 01 2012
STATUS
proposed