Automatic Proofs for Formulae Enumerating Proper Polycubes. (Q5368670)
From MaRDI portal
scientific article; zbMATH DE number 6789176
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic Proofs for Formulae Enumerating Proper Polycubes. |
scientific article; zbMATH DE number 6789176 |
Statements
10 October 2017
0 references
polycubes
0 references
inclusion-exclusion
0 references
Automatic Proofs for Formulae Enumerating Proper Polycubes. (English)
0 references
