2026-07-22T02:00:28Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5088 2024-03-06T10:35:49Z ddc:004 open_access

Automatic Proofs for Formulae Enumerating Proper Polycubes Barequet, Gill Shalah, Mira Polycubes inclusion-exclusion 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 already-proven 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Gill Barequet and Mira Shalah 2015 Is Part Of LIPIcs, Volume 34, 31st International Symposium on Computational Geometry (SoCG 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.SOCG.2015.19 urn:nbn:de:0030-drops-50889 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SOCG.2015.19 eng https://creativecommons.org/licenses/by/3.0/legalcode