OFFSET
5,3
COMMENTS
Denoted DT(n,n-5).
LINKS
G. Barequet and M. Shalah, Counting n-cell polycubes proper in n-k dimensions, European Journal of Combinatorics, 63 (2017), 146-163.
G. Barequet and M. Shalah, Automatic Proofs for Formulae Enumerating Proper Polycubes, In Proceedings of the 8th European Conference on Combinatorics, Graph Theory and Applications, 49 (2015), 145-151, 2015.
G. Barequet and M. Shalah, Automatic Proofs for Formulae Enumerating Proper Polycubes, In Video Review at the 31st Symposium on Computational Geometry, 19-22, 2015.
M. Shalah, Automatic Proofs for Formulae Enumerating Proper Polycubes, Youtube, 2015.
FORMULA
a(n) = 2^(n-9)*n^(n-11)*(n-5)*(240*n^11 - 6480*n^10 + 73640*n^9 - 461232*n^8 + 1778615*n^7 - 4707195*n^6 + 11632070*n^5 - 41919528*n^4 + 158857920*n^3 - 483329520*n^2 + 1481660640*n - 2863123200)/360. (proved)
CROSSREFS
KEYWORD
nonn
AUTHOR
Mira Shalah, Aug 12 2017
STATUS
approved