{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:5VBTKFZBCM2YVXDAZ66YMR5XRU","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"6bd68469066079f7d7bf5ac02e1555e583489f6981cfa52441cc8486c49249e3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-05T13:52:18Z","title_canon_sha256":"3937a2bdc15fee422e6e0128c33bd0618416134ba669c18db61e4e0325ed4ab0"},"schema_version":"1.0","source":{"id":"1802.01388","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.01388","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"arxiv_version","alias_value":"1802.01388v3","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.01388","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"pith_short_12","alias_value":"5VBTKFZBCM2Y","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5VBTKFZBCM2YVXDA","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5VBTKFZB","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:be8bf42adb9f78f6d5f62e41530877e772dc06adb8ff46231f8d72adb12a5b7f","target":"graph","created_at":"2026-05-17T23:45:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Signature-based algorithms have become a standard approach for Gr\\\"obner basis computations for polynomial systems over fields, but how to extend these techniques to coefficients in general rings is not yet as well understood.\n  In this paper, we present a proof-of-concept signature-based algorithm for computing Gr\\\"obner bases over commutative integral domains. It is adapted from a general version of M\\\"oller's algorithm (1988) which considers reductions by multiple polynomials at each step. This algorithm performs reductions with non-decreasing signatures, and in particular, signature drops ","authors_text":"Maria Francis, Thibaut Verron","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-05T13:52:18Z","title":"A Signature-based Algorithm for computing Computing Gr\\\"obner Bases over Principal Ideal Domains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.01388","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b19ca9096182fe20869f730dc286040bc9d3e48fbd90900ef3a1d64dfc55f8cf","target":"record","created_at":"2026-05-17T23:45:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"6bd68469066079f7d7bf5ac02e1555e583489f6981cfa52441cc8486c49249e3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-05T13:52:18Z","title_canon_sha256":"3937a2bdc15fee422e6e0128c33bd0618416134ba669c18db61e4e0325ed4ab0"},"schema_version":"1.0","source":{"id":"1802.01388","kind":"arxiv","version":3}},"canonical_sha256":"ed4335172113358adc60cfbd8647b78d036b2d79cbcb912fe0e4a18697556938","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ed4335172113358adc60cfbd8647b78d036b2d79cbcb912fe0e4a18697556938","first_computed_at":"2026-05-17T23:45:04.794939Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:04.794939Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"diaCo0OGKa52VeqZiVh+GWzUQUoafJDRMA2KsZ5BZVugJ6RSamzrEAZEScWzSI42u3lcjmYiT26A+5AQYjaAAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:04.795795Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.01388","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b19ca9096182fe20869f730dc286040bc9d3e48fbd90900ef3a1d64dfc55f8cf","sha256:be8bf42adb9f78f6d5f62e41530877e772dc06adb8ff46231f8d72adb12a5b7f"],"state_sha256":"c0a057f4f46f86020a9809fa1c87f151e193f829f5f1897e6a8a2a17a439c603"}