This video describes a general framework for computing formulae enumerating polycubes of size n which are proper in n−k dimensions (i.e., spanning all n−k dimensions), for a fixed value
of k. (Such formulae are central in the literature of statistical physics in the study of percolation
processes and collapse of branched polymers.) The implemented software re-affirmed the alreadyproven formulae for k 3, and proved rigorously, for the first time, the formula enumerating polycubes of size n that are proper in n−4 dimensions.
