{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:V5LUP7TCKCABSGEHHAHPEHDNNP","short_pith_number":"pith:V5LUP7TC","canonical_record":{"source":{"id":"1205.3039","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-05-14T14:23:25Z","cross_cats_sorted":[],"title_canon_sha256":"baef3b2236c1c111ded8ac1ec471e08e7b45d0d4d121bd686927acefcccf45b0","abstract_canon_sha256":"f693a10701b03fd17c568d1aa8d68ae018f8c45b032a53901535d64a7950666b"},"schema_version":"1.0"},"canonical_sha256":"af5747fe625080191887380ef21c6d6bf42bc2c4a0019cc60bebc68c68bdcfeb","source":{"kind":"arxiv","id":"1205.3039","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.3039","created_at":"2026-05-18T03:55:45Z"},{"alias_kind":"arxiv_version","alias_value":"1205.3039v1","created_at":"2026-05-18T03:55:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.3039","created_at":"2026-05-18T03:55:45Z"},{"alias_kind":"pith_short_12","alias_value":"V5LUP7TCKCAB","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"V5LUP7TCKCABSGEH","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"V5LUP7TC","created_at":"2026-05-18T12:27:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:V5LUP7TCKCABSGEHHAHPEHDNNP","target":"record","payload":{"canonical_record":{"source":{"id":"1205.3039","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-05-14T14:23:25Z","cross_cats_sorted":[],"title_canon_sha256":"baef3b2236c1c111ded8ac1ec471e08e7b45d0d4d121bd686927acefcccf45b0","abstract_canon_sha256":"f693a10701b03fd17c568d1aa8d68ae018f8c45b032a53901535d64a7950666b"},"schema_version":"1.0"},"canonical_sha256":"af5747fe625080191887380ef21c6d6bf42bc2c4a0019cc60bebc68c68bdcfeb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:55:45.398611Z","signature_b64":"pWICYgO1MqUtlgdNiovkbPGO4xV2GCb4xb2oY4wUBDEOoB7YWLmTEotHMXlImSCIno/KX2lPOzE/YijM7b9WBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"af5747fe625080191887380ef21c6d6bf42bc2c4a0019cc60bebc68c68bdcfeb","last_reissued_at":"2026-05-18T03:55:45.398014Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:55:45.398014Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1205.3039","source_version":1,"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-18T03:55:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TrzimhBOoN/PALT1+POymSnxsL9lNFDYOChJBGOUkhRozr6cxYZvf5G4KaF3yur6k3UVLRK+Wzur2Apzshc+DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T22:11:49.365119Z"},"content_sha256":"42ff7652db352b5daeff32aec53f16cf3930a91533194ee433f5bddc6b5b5785","schema_version":"1.0","event_id":"sha256:42ff7652db352b5daeff32aec53f16cf3930a91533194ee433f5bddc6b5b5785"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:V5LUP7TCKCABSGEHHAHPEHDNNP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Unified Framework for Finite Element Assembly","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Anders Logg, Hans Petter Langtangen, Kent-Andre Mardal, Martin Sandve Aln{\\ae}s, Ola Skavhaug","submitted_at":"2012-05-14T14:23:25Z","abstract_excerpt":"At the heart of any finite element simulation is the assembly of matrices and vectors from discrete variational forms. We propose a general interface between problem-specific and general-purpose components of finite element programs. This interface is called Unified Form-assembly Code (UFC). A wide range of finite element problems is covered, including mixed finite elements and discontinuous Galerkin methods. We discuss how the UFC interface enables implementations of variational form evaluation to be independent of mesh and linear algebra components. UFC does not depend on any external librar"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.3039","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"},"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-18T03:55:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gfW9FOh+ZYpxKiVSXBvZgUrzkvUVuBKYSHLAEhAvxDv4ehgrvIJciU7jfN+UKcNfZveJVBMOMi/CQG5ecf8JAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T22:11:49.365494Z"},"content_sha256":"6896ad78b342a75fc0963355265151156cd46a487a554d85136be7960603ed0c","schema_version":"1.0","event_id":"sha256:6896ad78b342a75fc0963355265151156cd46a487a554d85136be7960603ed0c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V5LUP7TCKCABSGEHHAHPEHDNNP/bundle.json","state_url":"https://pith.science/pith/V5LUP7TCKCABSGEHHAHPEHDNNP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V5LUP7TCKCABSGEHHAHPEHDNNP/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-30T22:11:49Z","links":{"resolver":"https://pith.science/pith/V5LUP7TCKCABSGEHHAHPEHDNNP","bundle":"https://pith.science/pith/V5LUP7TCKCABSGEHHAHPEHDNNP/bundle.json","state":"https://pith.science/pith/V5LUP7TCKCABSGEHHAHPEHDNNP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V5LUP7TCKCABSGEHHAHPEHDNNP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:V5LUP7TCKCABSGEHHAHPEHDNNP","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":"f693a10701b03fd17c568d1aa8d68ae018f8c45b032a53901535d64a7950666b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-05-14T14:23:25Z","title_canon_sha256":"baef3b2236c1c111ded8ac1ec471e08e7b45d0d4d121bd686927acefcccf45b0"},"schema_version":"1.0","source":{"id":"1205.3039","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.3039","created_at":"2026-05-18T03:55:45Z"},{"alias_kind":"arxiv_version","alias_value":"1205.3039v1","created_at":"2026-05-18T03:55:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.3039","created_at":"2026-05-18T03:55:45Z"},{"alias_kind":"pith_short_12","alias_value":"V5LUP7TCKCAB","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"V5LUP7TCKCABSGEH","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"V5LUP7TC","created_at":"2026-05-18T12:27:25Z"}],"graph_snapshots":[{"event_id":"sha256:6896ad78b342a75fc0963355265151156cd46a487a554d85136be7960603ed0c","target":"graph","created_at":"2026-05-18T03:55:45Z","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":"At the heart of any finite element simulation is the assembly of matrices and vectors from discrete variational forms. We propose a general interface between problem-specific and general-purpose components of finite element programs. This interface is called Unified Form-assembly Code (UFC). A wide range of finite element problems is covered, including mixed finite elements and discontinuous Galerkin methods. We discuss how the UFC interface enables implementations of variational form evaluation to be independent of mesh and linear algebra components. UFC does not depend on any external librar","authors_text":"Anders Logg, Hans Petter Langtangen, Kent-Andre Mardal, Martin Sandve Aln{\\ae}s, Ola Skavhaug","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-05-14T14:23:25Z","title":"Unified Framework for Finite Element Assembly"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.3039","kind":"arxiv","version":1},"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:42ff7652db352b5daeff32aec53f16cf3930a91533194ee433f5bddc6b5b5785","target":"record","created_at":"2026-05-18T03:55:45Z","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":"f693a10701b03fd17c568d1aa8d68ae018f8c45b032a53901535d64a7950666b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-05-14T14:23:25Z","title_canon_sha256":"baef3b2236c1c111ded8ac1ec471e08e7b45d0d4d121bd686927acefcccf45b0"},"schema_version":"1.0","source":{"id":"1205.3039","kind":"arxiv","version":1}},"canonical_sha256":"af5747fe625080191887380ef21c6d6bf42bc2c4a0019cc60bebc68c68bdcfeb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"af5747fe625080191887380ef21c6d6bf42bc2c4a0019cc60bebc68c68bdcfeb","first_computed_at":"2026-05-18T03:55:45.398014Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:55:45.398014Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pWICYgO1MqUtlgdNiovkbPGO4xV2GCb4xb2oY4wUBDEOoB7YWLmTEotHMXlImSCIno/KX2lPOzE/YijM7b9WBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:55:45.398611Z","signed_message":"canonical_sha256_bytes"},"source_id":"1205.3039","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:42ff7652db352b5daeff32aec53f16cf3930a91533194ee433f5bddc6b5b5785","sha256:6896ad78b342a75fc0963355265151156cd46a487a554d85136be7960603ed0c"],"state_sha256":"8f8523bf3c8d2f9e6a5fa69dfc8b74eba67f403df2fbf6809fa979e035741f3d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x6ffmSTAzevUNtBNP7AK719yi5uzucYZonTE8S2w2YjBOLv4BfG8KfmhmUMySmhVbSF1rMiKULX4GQeevvcnDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T22:11:49.367468Z","bundle_sha256":"4f5c5bb4d3ddd9c7c1118c63fdbab72491b81cc82ad8b9db0cc2cc6b4e677d22"}}