External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automatic Proofs for Formulae Enumerating Proper Polycubes

Gill Barequet, Mira Shalah. Automatic Proofs for Formulae Enumerating Proper Polycubes. In Lars Arge, János Pach, editors, 31st International Symposium on Computational Geometry, SoCG 2015, June 22-25, 2015, Eindhoven, The Netherlands. Volume 34 of LIPIcs, pages 19-22, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Authors

Gill Barequet

This author has not been identified. Look up 'Gill Barequet' in Google

Mira Shalah

This author has not been identified. Look up 'Mira Shalah' in Google
runs on