{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:23BVPFADUQZM4YPPZHNPUCKYM3","short_pith_number":"pith:23BVPFAD","schema_version":"1.0","canonical_sha256":"d6c3579403a432ce61efc9dafa095866e3f7228c6dcaff0f32ef0d3d470ffd2f","source":{"kind":"arxiv","id":"2605.19254","version":1},"attestation_state":"computed","paper":{"title":"A C implementation of the Smith massager algorithm","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"cs.MS","authors_text":"Arne Storjohann, George Labahn, Stavros Birmpilis, Ziwen Wang","submitted_at":"2026-05-19T01:58:00Z","abstract_excerpt":"We describe a C implementation of the Las Vegas algorithm of Birmpilis, Labahn and Storjohann from 2020 for computing the Smith normal form of a nonsingular integer matrix. The algorithm computes a Smith massager for the input matrix using $O(n^{\\omega}\\, \\B(\\log n + \\log \\|A\\|)\\, (\\log n)^2)$ bit operations, which is softly equivalent to the cost of multiplying two matrices of the same dimension and entry size. We describe the key implementation techniques that bridge the gap between the theoretical algorithm and practical performance, including BLAS-accelerated modular arithmetic via the Res"},"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":"2605.19254","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MS","submitted_at":"2026-05-19T01:58:00Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"403248bc3304bab9d9d820bc2177a03100a11dbfb4bc8c80bfc808c2053ea6f4","abstract_canon_sha256":"9d4ff543b94d8d68e4d3627bf14d87a2e047c15c7ca925469ef49d97f9149460"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T01:05:36.206151Z","signature_b64":"dH9g6Xhq5u4dxYFrPL8kJFghHnbyEOILwTEuYnU8vJYncrVLfkOMYTWfac4coaGE5hkdnA3rYs7KveKj8VHJDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d6c3579403a432ce61efc9dafa095866e3f7228c6dcaff0f32ef0d3d470ffd2f","last_reissued_at":"2026-05-20T01:05:36.205413Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T01:05:36.205413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A C implementation of the Smith massager algorithm","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"cs.MS","authors_text":"Arne Storjohann, George Labahn, Stavros Birmpilis, Ziwen Wang","submitted_at":"2026-05-19T01:58:00Z","abstract_excerpt":"We describe a C implementation of the Las Vegas algorithm of Birmpilis, Labahn and Storjohann from 2020 for computing the Smith normal form of a nonsingular integer matrix. The algorithm computes a Smith massager for the input matrix using $O(n^{\\omega}\\, \\B(\\log n + \\log \\|A\\|)\\, (\\log n)^2)$ bit operations, which is softly equivalent to the cost of multiplying two matrices of the same dimension and entry size. We describe the key implementation techniques that bridge the gap between the theoretical algorithm and practical performance, including BLAS-accelerated modular arithmetic via the Res"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.19254","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.19254/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2605.19254","created_at":"2026-05-20T01:05:36.205520+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.19254v1","created_at":"2026-05-20T01:05:36.205520+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.19254","created_at":"2026-05-20T01:05:36.205520+00:00"},{"alias_kind":"pith_short_12","alias_value":"23BVPFADUQZM","created_at":"2026-05-20T01:05:36.205520+00:00"},{"alias_kind":"pith_short_16","alias_value":"23BVPFADUQZM4YPP","created_at":"2026-05-20T01:05:36.205520+00:00"},{"alias_kind":"pith_short_8","alias_value":"23BVPFAD","created_at":"2026-05-20T01:05:36.205520+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/23BVPFADUQZM4YPPZHNPUCKYM3","json":"https://pith.science/pith/23BVPFADUQZM4YPPZHNPUCKYM3.json","graph_json":"https://pith.science/api/pith-number/23BVPFADUQZM4YPPZHNPUCKYM3/graph.json","events_json":"https://pith.science/api/pith-number/23BVPFADUQZM4YPPZHNPUCKYM3/events.json","paper":"https://pith.science/paper/23BVPFAD"},"agent_actions":{"view_html":"https://pith.science/pith/23BVPFADUQZM4YPPZHNPUCKYM3","download_json":"https://pith.science/pith/23BVPFADUQZM4YPPZHNPUCKYM3.json","view_paper":"https://pith.science/paper/23BVPFAD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.19254&json=true","fetch_graph":"https://pith.science/api/pith-number/23BVPFADUQZM4YPPZHNPUCKYM3/graph.json","fetch_events":"https://pith.science/api/pith-number/23BVPFADUQZM4YPPZHNPUCKYM3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/23BVPFADUQZM4YPPZHNPUCKYM3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/23BVPFADUQZM4YPPZHNPUCKYM3/action/storage_attestation","attest_author":"https://pith.science/pith/23BVPFADUQZM4YPPZHNPUCKYM3/action/author_attestation","sign_citation":"https://pith.science/pith/23BVPFADUQZM4YPPZHNPUCKYM3/action/citation_signature","submit_replication":"https://pith.science/pith/23BVPFADUQZM4YPPZHNPUCKYM3/action/replication_record"}},"created_at":"2026-05-20T01:05:36.205520+00:00","updated_at":"2026-05-20T01:05:36.205520+00:00"}