{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:QQWETNYOMPNZIZKWAMK2MUYW3Z","short_pith_number":"pith:QQWETNYO","schema_version":"1.0","canonical_sha256":"842c49b70e63db9465560315a65316de4e5d53db9807cc54cc0e28338ce9ec86","source":{"kind":"arxiv","id":"1607.05031","version":1},"attestation_state":"computed","paper":{"title":"Enumerative Aspects of Nullstellensatz Certificates","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.CO","authors_text":"Bart Sevenster, Jacob Turner","submitted_at":"2016-07-18T11:58:00Z","abstract_excerpt":"Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by systems of polynomial equations satisfying special properties. If the equations are infeasible, Hilbert's Nullstellensatz gives a certificate of this fact. These certificates have been studied and exhibit combinatorial meaning. In this paper, we generalize some known results and show that the Nullstellensatz certificate can be viewed as enumerating combinatorial "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1607.05031","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-07-18T11:58:00Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"dac155b412d8eee01ea136e79c47e48280d8a2671fb705366ed0bdd68c0c1b7c","abstract_canon_sha256":"5b37b123bb24e2fef26594043cb922a4f1678ebe245e04fd0d2e536d2a4d7422"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:10:56.093084Z","signature_b64":"NH937mVB8EFti35MRian/5O6gDy3p2oy3kx3Ks7ANNwP2Brqkmj1LLktTQqSrD6ASp6Hiw5ornwpICWJyTrNCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"842c49b70e63db9465560315a65316de4e5d53db9807cc54cc0e28338ce9ec86","last_reissued_at":"2026-05-18T01:10:56.092629Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:10:56.092629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Enumerative Aspects of Nullstellensatz Certificates","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.CO","authors_text":"Bart Sevenster, Jacob Turner","submitted_at":"2016-07-18T11:58:00Z","abstract_excerpt":"Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by systems of polynomial equations satisfying special properties. If the equations are infeasible, Hilbert's Nullstellensatz gives a certificate of this fact. These certificates have been studied and exhibit combinatorial meaning. In this paper, we generalize some known results and show that the Nullstellensatz certificate can be viewed as enumerating combinatorial "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.05031","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1607.05031","created_at":"2026-05-18T01:10:56.092703+00:00"},{"alias_kind":"arxiv_version","alias_value":"1607.05031v1","created_at":"2026-05-18T01:10:56.092703+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.05031","created_at":"2026-05-18T01:10:56.092703+00:00"},{"alias_kind":"pith_short_12","alias_value":"QQWETNYOMPNZ","created_at":"2026-05-18T12:30:41.710351+00:00"},{"alias_kind":"pith_short_16","alias_value":"QQWETNYOMPNZIZKW","created_at":"2026-05-18T12:30:41.710351+00:00"},{"alias_kind":"pith_short_8","alias_value":"QQWETNYO","created_at":"2026-05-18T12:30:41.710351+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z","json":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z.json","graph_json":"https://pith.science/api/pith-number/QQWETNYOMPNZIZKWAMK2MUYW3Z/graph.json","events_json":"https://pith.science/api/pith-number/QQWETNYOMPNZIZKWAMK2MUYW3Z/events.json","paper":"https://pith.science/paper/QQWETNYO"},"agent_actions":{"view_html":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z","download_json":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z.json","view_paper":"https://pith.science/paper/QQWETNYO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1607.05031&json=true","fetch_graph":"https://pith.science/api/pith-number/QQWETNYOMPNZIZKWAMK2MUYW3Z/graph.json","fetch_events":"https://pith.science/api/pith-number/QQWETNYOMPNZIZKWAMK2MUYW3Z/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z/action/storage_attestation","attest_author":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z/action/author_attestation","sign_citation":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z/action/citation_signature","submit_replication":"https://pith.science/pith/QQWETNYOMPNZIZKWAMK2MUYW3Z/action/replication_record"}},"created_at":"2026-05-18T01:10:56.092703+00:00","updated_at":"2026-05-18T01:10:56.092703+00:00"}