@inproceedings{4c24d6f4b5bf44fd9190c250e7cfd0be,
title = "Automatic Proofs for Formulae Enumerating Proper Polycubes",
abstract = "This video describes a general framework for computing formulae enumerating polycubes of size n which are proper in n-κ dimensions (i.e., spanning all n-κ dimensions), for a fixed value of κ. (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 k3, and proved rigorously, for the first time, the formula enumerating polycubes of size n that are proper in n-4 dimensions.",
keywords = "Inclusion-exclusion, Polycubes",
author = "Gill Barequet and Mira Shalah",
year = "2015",
month = jun,
day = "1",
doi = "https://doi.org/10.4230/LIPIcs.SOCG.2015.19",
language = "الإنجليزيّة",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
pages = "19--22",
editor = "Janos Pach and Lars Arge",
booktitle = "31st International Symposium on Computational Geometry, SoCG 2015",
note = "31st International Symposium on Computational Geometry, SoCG 2015 ; Conference date: 22-06-2015 Through 25-06-2015",
}