Automatic proofs for formulae enumerating proper polycubes

DOI10.1016/j.endm.2015.06.022zbMath1346.05120OpenAlexW2173057753WikidataQ113875307 ScholiaQ113875307MaRDI QIDQ322211

Mira Shalah, Gill Barequet

Publication date: 14 October 2016

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2015/5088/

zbMATH Keywords

collapse of branched polymerspercolation processes

Mathematics Subject Classification ID

Applications of graph theory (05C90) Enumeration in graph theory (05C30)

Related Items (1)

Counting \(n\)-cell polycubes proper in \(n - k\) dimensions

Cites Work

• Formulae and growth rates of high-dimensional polycubes
• Counting multidimensional polyominoes
• 1/d-expansions for the free energy of lattice animal models of a self-interacting branched polymer
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automatic proofs for formulae enumerating proper polycubes