{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:N7TW4QR6XSDU4AS2FMYKNOMGKL","short_pith_number":"pith:N7TW4QR6","canonical_record":{"source":{"id":"1511.03234","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2015-11-10T19:28:53Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"239364cacdea521fdb66a4750a48b5923e51b19724b56198d631c978b27d7d91","abstract_canon_sha256":"493840299844a0f2965f645d301f46365f3723898b6e23be24b1f4be743bf559"},"schema_version":"1.0"},"canonical_sha256":"6fe76e423ebc874e025a2b30a6b98652f6088e2bef3e0680efe9a534cb7b3b02","source":{"kind":"arxiv","id":"1511.03234","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.03234","created_at":"2026-05-18T00:19:14Z"},{"alias_kind":"arxiv_version","alias_value":"1511.03234v2","created_at":"2026-05-18T00:19:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.03234","created_at":"2026-05-18T00:19:14Z"},{"alias_kind":"pith_short_12","alias_value":"N7TW4QR6XSDU","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"N7TW4QR6XSDU4AS2","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"N7TW4QR6","created_at":"2026-05-18T12:29:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:N7TW4QR6XSDU4AS2FMYKNOMGKL","target":"record","payload":{"canonical_record":{"source":{"id":"1511.03234","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2015-11-10T19:28:53Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"239364cacdea521fdb66a4750a48b5923e51b19724b56198d631c978b27d7d91","abstract_canon_sha256":"493840299844a0f2965f645d301f46365f3723898b6e23be24b1f4be743bf559"},"schema_version":"1.0"},"canonical_sha256":"6fe76e423ebc874e025a2b30a6b98652f6088e2bef3e0680efe9a534cb7b3b02","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:14.409328Z","signature_b64":"4yI17ttbG+xf+t+nJWpgqoUx55B2eimiRQ+gTaBhDDtXiBXqiAUXidVhbI7/jf2R5O6lOdtn1FD4ykcZk7VaCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6fe76e423ebc874e025a2b30a6b98652f6088e2bef3e0680efe9a534cb7b3b02","last_reissued_at":"2026-05-18T00:19:14.408721Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:14.408721Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1511.03234","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:19:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"omg9SIwHbEJv2BYcocaTttHfneP80DIUfMk/qoF8w+xfNeGtZwOp1isJDQ4vS838Vo9F3vBz4Su0TsevOWJmAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:45:56.499699Z"},"content_sha256":"950c66339e47ff7e4286d6708797c95bdf42cdf45564b1b15eae47d2860f7e52","schema_version":"1.0","event_id":"sha256:950c66339e47ff7e4286d6708797c95bdf42cdf45564b1b15eae47d2860f7e52"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:N7TW4QR6XSDU4AS2FMYKNOMGKL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A general framework for Noetherian well ordered polynomial reductions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"math.AC","authors_text":"Margherita Roggero, Michela Ceria, Teo Mora","submitted_at":"2015-11-10T19:28:53Z","abstract_excerpt":"Polynomial reduction is one of the main tools in computational algebra with innumerable applications in many areas, both pure and applied. Since many years both the theory and an efficient design of the related algorithm have been solidly established.\n  This paper presents a general definition of polynomial reduction structure, studies its features and highlights the aspects needed in order to grant and to efficiently test the main properties (noetherianity, confluence, ideal membership).\n  The most significant aspect of this analysis is a negative reappraisal of the role of the notion of term"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.03234","kind":"arxiv","version":2},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:19:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cw1JdEuCMCOA4otot+JYUt28gcmy9rVjOr8Rgpir8DYEYrxB+dS7UoKcYUJQQmnpI9YQQOoYAqWaDzQGFMPjCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:45:56.500401Z"},"content_sha256":"d197344309223de1deac905a975dfb0e517229a0d9ebf075b3b5955c0e9daad5","schema_version":"1.0","event_id":"sha256:d197344309223de1deac905a975dfb0e517229a0d9ebf075b3b5955c0e9daad5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N7TW4QR6XSDU4AS2FMYKNOMGKL/bundle.json","state_url":"https://pith.science/pith/N7TW4QR6XSDU4AS2FMYKNOMGKL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N7TW4QR6XSDU4AS2FMYKNOMGKL/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-28T17:45:56Z","links":{"resolver":"https://pith.science/pith/N7TW4QR6XSDU4AS2FMYKNOMGKL","bundle":"https://pith.science/pith/N7TW4QR6XSDU4AS2FMYKNOMGKL/bundle.json","state":"https://pith.science/pith/N7TW4QR6XSDU4AS2FMYKNOMGKL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N7TW4QR6XSDU4AS2FMYKNOMGKL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:N7TW4QR6XSDU4AS2FMYKNOMGKL","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":"493840299844a0f2965f645d301f46365f3723898b6e23be24b1f4be743bf559","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2015-11-10T19:28:53Z","title_canon_sha256":"239364cacdea521fdb66a4750a48b5923e51b19724b56198d631c978b27d7d91"},"schema_version":"1.0","source":{"id":"1511.03234","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.03234","created_at":"2026-05-18T00:19:14Z"},{"alias_kind":"arxiv_version","alias_value":"1511.03234v2","created_at":"2026-05-18T00:19:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.03234","created_at":"2026-05-18T00:19:14Z"},{"alias_kind":"pith_short_12","alias_value":"N7TW4QR6XSDU","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"N7TW4QR6XSDU4AS2","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"N7TW4QR6","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:d197344309223de1deac905a975dfb0e517229a0d9ebf075b3b5955c0e9daad5","target":"graph","created_at":"2026-05-18T00:19:14Z","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":"Polynomial reduction is one of the main tools in computational algebra with innumerable applications in many areas, both pure and applied. Since many years both the theory and an efficient design of the related algorithm have been solidly established.\n  This paper presents a general definition of polynomial reduction structure, studies its features and highlights the aspects needed in order to grant and to efficiently test the main properties (noetherianity, confluence, ideal membership).\n  The most significant aspect of this analysis is a negative reappraisal of the role of the notion of term","authors_text":"Margherita Roggero, Michela Ceria, Teo Mora","cross_cats":["cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2015-11-10T19:28:53Z","title":"A general framework for Noetherian well ordered polynomial reductions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.03234","kind":"arxiv","version":2},"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:950c66339e47ff7e4286d6708797c95bdf42cdf45564b1b15eae47d2860f7e52","target":"record","created_at":"2026-05-18T00:19:14Z","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":"493840299844a0f2965f645d301f46365f3723898b6e23be24b1f4be743bf559","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2015-11-10T19:28:53Z","title_canon_sha256":"239364cacdea521fdb66a4750a48b5923e51b19724b56198d631c978b27d7d91"},"schema_version":"1.0","source":{"id":"1511.03234","kind":"arxiv","version":2}},"canonical_sha256":"6fe76e423ebc874e025a2b30a6b98652f6088e2bef3e0680efe9a534cb7b3b02","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6fe76e423ebc874e025a2b30a6b98652f6088e2bef3e0680efe9a534cb7b3b02","first_computed_at":"2026-05-18T00:19:14.408721Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:14.408721Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4yI17ttbG+xf+t+nJWpgqoUx55B2eimiRQ+gTaBhDDtXiBXqiAUXidVhbI7/jf2R5O6lOdtn1FD4ykcZk7VaCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:14.409328Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.03234","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:950c66339e47ff7e4286d6708797c95bdf42cdf45564b1b15eae47d2860f7e52","sha256:d197344309223de1deac905a975dfb0e517229a0d9ebf075b3b5955c0e9daad5"],"state_sha256":"d72ea5d44f4946a7bd0777f1ad74e2de9cd1f06d0d3c94694d36b73b1a8411cb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JCCErQ/knPJ8Zn7wb6yIBQ9r7K3kskagETR8+9FjvKUmRHUfsgyrrPoWIGMaFCwQbHsqv/EepY8KsJ6Xh96KDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T17:45:56.504510Z","bundle_sha256":"7a0bc350916778a3b158a7fb4a3aafb5e5769ca2a6ddcc507aadbe29ec7bbacc"}}