{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:X7Q4RGQUQHUOI3ZJVWDMZGC4I2","short_pith_number":"pith:X7Q4RGQU","schema_version":"1.0","canonical_sha256":"bfe1c89a1481e8e46f29ad86cc985c46ba06b78b6fde38125971dbc24ca99df1","source":{"kind":"arxiv","id":"1404.0161","version":1},"attestation_state":"computed","paper":{"title":"Predicting zero reductions in Gr\\\"obner basis computations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"math.AC","authors_text":"Christian Eder","submitted_at":"2014-04-01T08:24:36Z","abstract_excerpt":"Since Buchberger's initial algorithm for computing Gr\\\"obner bases in 1965 many attempts have been taken to detect zero reductions in advance. Buchberger's Product and Chain criteria may be known the most, especially in the installaton of Gebauer and M\\\"oller. A relatively new approach are signature-based criteria which were first used in Faug\\`ere's F5 algorithm in 2002. For regular input sequences these criteria are known to compute no zero reduction at all. In this paper we give a detailed discussion on zero reductions and the corresponding syzygies. We explain how the different methods to "},"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":"1404.0161","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2014-04-01T08:24:36Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"5d49491c14614a69b78ccc847380af2ebc84ded423e66e238745d6baab46cb90","abstract_canon_sha256":"a9a4333d774c3a779f5f111829959d0977a598f32ff08961405e3b6a32e9af78"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:04.976097Z","signature_b64":"SD1IDuasj3577KCrNeQaXOFZ1WDocA9ZMSVLfXt//l2yqYd+2Kwd0N+wWDPa5sceaEI/tJjewuaOOIXim3MoAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bfe1c89a1481e8e46f29ad86cc985c46ba06b78b6fde38125971dbc24ca99df1","last_reissued_at":"2026-05-18T02:55:04.975690Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:04.975690Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Predicting zero reductions in Gr\\\"obner basis computations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"math.AC","authors_text":"Christian Eder","submitted_at":"2014-04-01T08:24:36Z","abstract_excerpt":"Since Buchberger's initial algorithm for computing Gr\\\"obner bases in 1965 many attempts have been taken to detect zero reductions in advance. Buchberger's Product and Chain criteria may be known the most, especially in the installaton of Gebauer and M\\\"oller. A relatively new approach are signature-based criteria which were first used in Faug\\`ere's F5 algorithm in 2002. For regular input sequences these criteria are known to compute no zero reduction at all. In this paper we give a detailed discussion on zero reductions and the corresponding syzygies. We explain how the different methods to "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0161","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":"1404.0161","created_at":"2026-05-18T02:55:04.975744+00:00"},{"alias_kind":"arxiv_version","alias_value":"1404.0161v1","created_at":"2026-05-18T02:55:04.975744+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0161","created_at":"2026-05-18T02:55:04.975744+00:00"},{"alias_kind":"pith_short_12","alias_value":"X7Q4RGQUQHUO","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_16","alias_value":"X7Q4RGQUQHUOI3ZJ","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_8","alias_value":"X7Q4RGQU","created_at":"2026-05-18T12:28:57.508820+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/X7Q4RGQUQHUOI3ZJVWDMZGC4I2","json":"https://pith.science/pith/X7Q4RGQUQHUOI3ZJVWDMZGC4I2.json","graph_json":"https://pith.science/api/pith-number/X7Q4RGQUQHUOI3ZJVWDMZGC4I2/graph.json","events_json":"https://pith.science/api/pith-number/X7Q4RGQUQHUOI3ZJVWDMZGC4I2/events.json","paper":"https://pith.science/paper/X7Q4RGQU"},"agent_actions":{"view_html":"https://pith.science/pith/X7Q4RGQUQHUOI3ZJVWDMZGC4I2","download_json":"https://pith.science/pith/X7Q4RGQUQHUOI3ZJVWDMZGC4I2.json","view_paper":"https://pith.science/paper/X7Q4RGQU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1404.0161&json=true","fetch_graph":"https://pith.science/api/pith-number/X7Q4RGQUQHUOI3ZJVWDMZGC4I2/graph.json","fetch_events":"https://pith.science/api/pith-number/X7Q4RGQUQHUOI3ZJVWDMZGC4I2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/X7Q4RGQUQHUOI3ZJVWDMZGC4I2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/X7Q4RGQUQHUOI3ZJVWDMZGC4I2/action/storage_attestation","attest_author":"https://pith.science/pith/X7Q4RGQUQHUOI3ZJVWDMZGC4I2/action/author_attestation","sign_citation":"https://pith.science/pith/X7Q4RGQUQHUOI3ZJVWDMZGC4I2/action/citation_signature","submit_replication":"https://pith.science/pith/X7Q4RGQUQHUOI3ZJVWDMZGC4I2/action/replication_record"}},"created_at":"2026-05-18T02:55:04.975744+00:00","updated_at":"2026-05-18T02:55:04.975744+00:00"}