ConceptioArchiveFigshare
Figshareopen access

Verification Software for Independent Sets on Trees

Seth Christopher (24729028)
Figshare · Datasets · License: Open Access
Open Source ↗
trees
combinatorics and discrete mathematics (excl. physical combinatorics), independent sets, trees, log-concavity, unimodality, hard-core model, normalized covariance, spectral independence
This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗
Record · ID 780710
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.