{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2007:2PBCFWI3BCARARXYJIOPJ4I225","short_pith_number":"pith:2PBCFWI3","schema_version":"1.0","canonical_sha256":"d3c222d91b08811046f84a1cf4f11ad76a4a7caf466c7c9185a90f383a555bad","source":{"kind":"arxiv","id":"math/0701146","version":2},"attestation_state":"computed","paper":{"title":"Homalg: A meta-package for homological algebra","license":"","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Daniel Robertz, Mohamed Barakat","submitted_at":"2007-01-04T18:16:55Z","abstract_excerpt":"The central notion of this work is that of a functor between categories of finitely presented modules over so-called computable rings, i.e. rings R where one can algorithmically solve inhomogeneous linear equations with coefficients in R. The paper describes a way allowing one to realize such functors, e.g. Hom, tensor product, Ext, Tor, as a mathematical object in a computer algebra system. Once this is achieved, one can compose and derive functors and even iterate this process without the need of any specific knowledge of these functors. These ideas are realized in the ring independent packa"},"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":"math/0701146","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"math.AC","submitted_at":"2007-01-04T18:16:55Z","cross_cats_sorted":[],"title_canon_sha256":"ccd252e59855e752b44b8592d98654f9fdd9d29ed7c11849e4b11535a2d2a173","abstract_canon_sha256":"9d654f6fcb5178577a250e7958709781a1e9260cc3bbe23b61fbd7f2ed89ab52"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:55:52.467967Z","signature_b64":"FtEMLbpByb3Z+Lpzzt7OsUKAsBPbMvTK69qVzfgD/eKhIExPTEVAscxYARMf4+5FxrTu3xbZkLozaT5MLYYOCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d3c222d91b08811046f84a1cf4f11ad76a4a7caf466c7c9185a90f383a555bad","last_reissued_at":"2026-05-18T00:55:52.467524Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:55:52.467524Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Homalg: A meta-package for homological algebra","license":"","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Daniel Robertz, Mohamed Barakat","submitted_at":"2007-01-04T18:16:55Z","abstract_excerpt":"The central notion of this work is that of a functor between categories of finitely presented modules over so-called computable rings, i.e. rings R where one can algorithmically solve inhomogeneous linear equations with coefficients in R. The paper describes a way allowing one to realize such functors, e.g. Hom, tensor product, Ext, Tor, as a mathematical object in a computer algebra system. Once this is achieved, one can compose and derive functors and even iterate this process without the need of any specific knowledge of these functors. These ideas are realized in the ring independent packa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0701146","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"math/0701146","created_at":"2026-05-18T00:55:52.467589+00:00"},{"alias_kind":"arxiv_version","alias_value":"math/0701146v2","created_at":"2026-05-18T00:55:52.467589+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0701146","created_at":"2026-05-18T00:55:52.467589+00:00"},{"alias_kind":"pith_short_12","alias_value":"2PBCFWI3BCAR","created_at":"2026-05-18T12:25:54.717736+00:00"},{"alias_kind":"pith_short_16","alias_value":"2PBCFWI3BCARARXY","created_at":"2026-05-18T12:25:54.717736+00:00"},{"alias_kind":"pith_short_8","alias_value":"2PBCFWI3","created_at":"2026-05-18T12:25:54.717736+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/2PBCFWI3BCARARXYJIOPJ4I225","json":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225.json","graph_json":"https://pith.science/api/pith-number/2PBCFWI3BCARARXYJIOPJ4I225/graph.json","events_json":"https://pith.science/api/pith-number/2PBCFWI3BCARARXYJIOPJ4I225/events.json","paper":"https://pith.science/paper/2PBCFWI3"},"agent_actions":{"view_html":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225","download_json":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225.json","view_paper":"https://pith.science/paper/2PBCFWI3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=math/0701146&json=true","fetch_graph":"https://pith.science/api/pith-number/2PBCFWI3BCARARXYJIOPJ4I225/graph.json","fetch_events":"https://pith.science/api/pith-number/2PBCFWI3BCARARXYJIOPJ4I225/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225/action/storage_attestation","attest_author":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225/action/author_attestation","sign_citation":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225/action/citation_signature","submit_replication":"https://pith.science/pith/2PBCFWI3BCARARXYJIOPJ4I225/action/replication_record"}},"created_at":"2026-05-18T00:55:52.467589+00:00","updated_at":"2026-05-18T00:55:52.467589+00:00"}