{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:5P5NZIKB6SXSXWI44TKJRMSV64","short_pith_number":"pith:5P5NZIKB","schema_version":"1.0","canonical_sha256":"ebfadca141f4af2bd91ce4d498b255f72cdec6b564ff3cc7b77636b6a328b501","source":{"kind":"arxiv","id":"1707.02452","version":1},"attestation_state":"computed","paper":{"title":"Combinatorics of involutive divisions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Michela Ceria","submitted_at":"2017-07-08T15:11:02Z","abstract_excerpt":"The classical involutive division theory by Janet decomposes in the same way both the ideal and the escalier. The aim of this paper, following Janet's approach, is to discuss the combinatorial properties of involutive divisions, when defined on the set of all terms in a fixed degree D, postponing the discussion of ideal membership and related test. \nWe adapt the theory by Gerdt and Blinkov, introducing relative involutive divisions and then, given a complete description of the combinatorial structure of a relative involutive division, we turn our attention to the problem of membership. In orde"},"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":"1707.02452","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2017-07-08T15:11:02Z","cross_cats_sorted":[],"title_canon_sha256":"6d160a0fc7b6b167dba65a9dc72f8d81e640eccbea055ab9ec668982ad5f43fb","abstract_canon_sha256":"9a3bacd0fe6e6dfc142a81535a7a37afb176d0ed3b42dee86d48c98c9a3b9cfe"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:36.847436Z","signature_b64":"Z0Ta8RKkCmqXfGPTH4yeZBLNR9objCv+VVB4rBAuK26dKFQO4iDvCX4tGEbV/A/TR/AAEABjCXsJ7X77gMWCBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ebfadca141f4af2bd91ce4d498b255f72cdec6b564ff3cc7b77636b6a328b501","last_reissued_at":"2026-05-18T00:40:36.846575Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:36.846575Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Combinatorics of involutive divisions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Michela Ceria","submitted_at":"2017-07-08T15:11:02Z","abstract_excerpt":"The classical involutive division theory by Janet decomposes in the same way both the ideal and the escalier. The aim of this paper, following Janet's approach, is to discuss the combinatorial properties of involutive divisions, when defined on the set of all terms in a fixed degree D, postponing the discussion of ideal membership and related test. \nWe adapt the theory by Gerdt and Blinkov, introducing relative involutive divisions and then, given a complete description of the combinatorial structure of a relative involutive division, we turn our attention to the problem of membership. In orde"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.02452","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":"1707.02452","created_at":"2026-05-18T00:40:36.846720+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.02452v1","created_at":"2026-05-18T00:40:36.846720+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.02452","created_at":"2026-05-18T00:40:36.846720+00:00"},{"alias_kind":"pith_short_12","alias_value":"5P5NZIKB6SXS","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_16","alias_value":"5P5NZIKB6SXSXWI4","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_8","alias_value":"5P5NZIKB","created_at":"2026-05-18T12:31:00.734936+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/5P5NZIKB6SXSXWI44TKJRMSV64","json":"https://pith.science/pith/5P5NZIKB6SXSXWI44TKJRMSV64.json","graph_json":"https://pith.science/api/pith-number/5P5NZIKB6SXSXWI44TKJRMSV64/graph.json","events_json":"https://pith.science/api/pith-number/5P5NZIKB6SXSXWI44TKJRMSV64/events.json","paper":"https://pith.science/paper/5P5NZIKB"},"agent_actions":{"view_html":"https://pith.science/pith/5P5NZIKB6SXSXWI44TKJRMSV64","download_json":"https://pith.science/pith/5P5NZIKB6SXSXWI44TKJRMSV64.json","view_paper":"https://pith.science/paper/5P5NZIKB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.02452&json=true","fetch_graph":"https://pith.science/api/pith-number/5P5NZIKB6SXSXWI44TKJRMSV64/graph.json","fetch_events":"https://pith.science/api/pith-number/5P5NZIKB6SXSXWI44TKJRMSV64/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5P5NZIKB6SXSXWI44TKJRMSV64/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5P5NZIKB6SXSXWI44TKJRMSV64/action/storage_attestation","attest_author":"https://pith.science/pith/5P5NZIKB6SXSXWI44TKJRMSV64/action/author_attestation","sign_citation":"https://pith.science/pith/5P5NZIKB6SXSXWI44TKJRMSV64/action/citation_signature","submit_replication":"https://pith.science/pith/5P5NZIKB6SXSXWI44TKJRMSV64/action/replication_record"}},"created_at":"2026-05-18T00:40:36.846720+00:00","updated_at":"2026-05-18T00:40:36.846720+00:00"}