{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:URU5QQZNA6WGJVIPAI5CARIGES","short_pith_number":"pith:URU5QQZN","schema_version":"1.0","canonical_sha256":"a469d8432d07ac64d50f023a204506249f611eaa7af059d1a7604e853a5d8ae3","source":{"kind":"arxiv","id":"1112.5717","version":2},"attestation_state":"computed","paper":{"title":"Rank-profile revealing Gaussian elimination and the CUP matrix decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.MS","authors_text":"Arne Storjohann, Claude-Pierre Jeannerod, Cl\\'ement Pernet","submitted_at":"2011-12-24T11:30:09Z","abstract_excerpt":"Transforming a matrix over a field to echelon form, or decomposing the matrix as a product of structured matrices that reveal the rank profile, is a fundamental building block of computational exact linear algebra. This paper surveys the well known variations of such decompositions and transformations that have been proposed in the literature. We present an algorithm to compute the CUP decomposition of a matrix, adapted from the LSP algorithm of Ibarra, Moran and Hui (1982), and show reductions from the other most common Gaussian elimination based matrix transformations and decompositions to t"},"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":"1112.5717","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2011-12-24T11:30:09Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"ab991570ba3d072850d6583e18d64002acaeb6d794ea0a5184244abad0c259eb","abstract_canon_sha256":"93bdcc99a14caa5c2279def0ef26801d4ad082d163f0f379d856a7ea397dec7d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:05:03.260767Z","signature_b64":"vKTORt5h6ZxUY9Z7ppwiOepnGlwzY46OlWkMkZXy6pV+323EjSRozA1ztIWu3H+8lo8n57qmxfDHshFRTxWaDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a469d8432d07ac64d50f023a204506249f611eaa7af059d1a7604e853a5d8ae3","last_reissued_at":"2026-05-18T04:05:03.260083Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:05:03.260083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Rank-profile revealing Gaussian elimination and the CUP matrix decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.MS","authors_text":"Arne Storjohann, Claude-Pierre Jeannerod, Cl\\'ement Pernet","submitted_at":"2011-12-24T11:30:09Z","abstract_excerpt":"Transforming a matrix over a field to echelon form, or decomposing the matrix as a product of structured matrices that reveal the rank profile, is a fundamental building block of computational exact linear algebra. This paper surveys the well known variations of such decompositions and transformations that have been proposed in the literature. We present an algorithm to compute the CUP decomposition of a matrix, adapted from the LSP algorithm of Ibarra, Moran and Hui (1982), and show reductions from the other most common Gaussian elimination based matrix transformations and decompositions to t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.5717","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":"1112.5717","created_at":"2026-05-18T04:05:03.260202+00:00"},{"alias_kind":"arxiv_version","alias_value":"1112.5717v2","created_at":"2026-05-18T04:05:03.260202+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.5717","created_at":"2026-05-18T04:05:03.260202+00:00"},{"alias_kind":"pith_short_12","alias_value":"URU5QQZNA6WG","created_at":"2026-05-18T12:26:42.757692+00:00"},{"alias_kind":"pith_short_16","alias_value":"URU5QQZNA6WGJVIP","created_at":"2026-05-18T12:26:42.757692+00:00"},{"alias_kind":"pith_short_8","alias_value":"URU5QQZN","created_at":"2026-05-18T12:26:42.757692+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/URU5QQZNA6WGJVIPAI5CARIGES","json":"https://pith.science/pith/URU5QQZNA6WGJVIPAI5CARIGES.json","graph_json":"https://pith.science/api/pith-number/URU5QQZNA6WGJVIPAI5CARIGES/graph.json","events_json":"https://pith.science/api/pith-number/URU5QQZNA6WGJVIPAI5CARIGES/events.json","paper":"https://pith.science/paper/URU5QQZN"},"agent_actions":{"view_html":"https://pith.science/pith/URU5QQZNA6WGJVIPAI5CARIGES","download_json":"https://pith.science/pith/URU5QQZNA6WGJVIPAI5CARIGES.json","view_paper":"https://pith.science/paper/URU5QQZN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1112.5717&json=true","fetch_graph":"https://pith.science/api/pith-number/URU5QQZNA6WGJVIPAI5CARIGES/graph.json","fetch_events":"https://pith.science/api/pith-number/URU5QQZNA6WGJVIPAI5CARIGES/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/URU5QQZNA6WGJVIPAI5CARIGES/action/timestamp_anchor","attest_storage":"https://pith.science/pith/URU5QQZNA6WGJVIPAI5CARIGES/action/storage_attestation","attest_author":"https://pith.science/pith/URU5QQZNA6WGJVIPAI5CARIGES/action/author_attestation","sign_citation":"https://pith.science/pith/URU5QQZNA6WGJVIPAI5CARIGES/action/citation_signature","submit_replication":"https://pith.science/pith/URU5QQZNA6WGJVIPAI5CARIGES/action/replication_record"}},"created_at":"2026-05-18T04:05:03.260202+00:00","updated_at":"2026-05-18T04:05:03.260202+00:00"}