Automatic Proofs for Formulae Enumerating Proper Polycubes.

DOI10.4230/LIPICS.SOCG.2015.19zbMath1378.68152OpenAlexW2271049437MaRDI QIDQ5368670

Mira Shalah, Gill Barequet

Publication date: 10 October 2017

Full work available at URL: https://dblp.uni-trier.de/db/conf/compgeom/compgeom2015.html#BarequetS15

zbMATH Keywords

inclusion-exclusionpolycubes

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Polyominoes (05B50)

Uses Software

• OEIS
• Maya

This page was built for publication: Automatic Proofs for Formulae Enumerating Proper Polycubes.