{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:SXCA4CU6UB7IHNNT4RIGTHOCFU","short_pith_number":"pith:SXCA4CU6","canonical_record":{"source":{"id":"1411.2940","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-11-11T19:47:45Z","cross_cats_sorted":["cs.MS","cs.NA"],"title_canon_sha256":"0b2e000d3230f4a0a2eca03605486f42d6e134a3120f5e20bea3d56a5e7dfdec","abstract_canon_sha256":"a70cb4e8ac5deef3e7f2c67d9c679f9420c853e73bbe61e1815851f979c60065"},"schema_version":"1.0"},"canonical_sha256":"95c40e0a9ea07e83b5b3e450699dc22d2c9fd32bc3049813e307b4ec7df80351","source":{"kind":"arxiv","id":"1411.2940","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.2940","created_at":"2026-05-18T01:00:54Z"},{"alias_kind":"arxiv_version","alias_value":"1411.2940v3","created_at":"2026-05-18T01:00:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.2940","created_at":"2026-05-18T01:00:54Z"},{"alias_kind":"pith_short_12","alias_value":"SXCA4CU6UB7I","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SXCA4CU6UB7IHNNT","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SXCA4CU6","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:SXCA4CU6UB7IHNNT4RIGTHOCFU","target":"record","payload":{"canonical_record":{"source":{"id":"1411.2940","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-11-11T19:47:45Z","cross_cats_sorted":["cs.MS","cs.NA"],"title_canon_sha256":"0b2e000d3230f4a0a2eca03605486f42d6e134a3120f5e20bea3d56a5e7dfdec","abstract_canon_sha256":"a70cb4e8ac5deef3e7f2c67d9c679f9420c853e73bbe61e1815851f979c60065"},"schema_version":"1.0"},"canonical_sha256":"95c40e0a9ea07e83b5b3e450699dc22d2c9fd32bc3049813e307b4ec7df80351","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:00:54.095742Z","signature_b64":"dc0TmMPURVGei2GR9uOxnkpmyPcncZF97a/wO3+k7hGElFfnmXrQd9ndd4U+X9HnOgsPvDoyVVBBtO2En3uPCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"95c40e0a9ea07e83b5b3e450699dc22d2c9fd32bc3049813e307b4ec7df80351","last_reissued_at":"2026-05-18T01:00:54.095194Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:00:54.095194Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1411.2940","source_version":3,"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-18T01:00:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cLzRDm8dfUPTE4onag5K0TSer/IU3vBO0pc9a0OjbCsCBqhDVwLjgRZAuUDzi6Pem2vQ/MR9SuRtKfieGzRtBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T03:30:44.687802Z"},"content_sha256":"5a38376cab96765a54a7456bb61890a9e43f31df6041199d7c46c874e908c05b","schema_version":"1.0","event_id":"sha256:5a38376cab96765a54a7456bb61890a9e43f31df6041199d7c46c874e908c05b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:SXCA4CU6UB7IHNNT4RIGTHOCFU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated generation and symbolic manipulation of tensor product finite elements","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MS","cs.NA"],"primary_cat":"math.NA","authors_text":"Andrew T. T. McRae, Colin J. Cotter, David A. Ham, Gheorghe-Teodor Bercea, Lawrence Mitchell","submitted_at":"2014-11-11T19:47:45Z","abstract_excerpt":"We describe and implement a symbolic algebra for scalar and vector-valued finite elements, enabling the computer generation of elements with tensor product structure on quadrilateral, hexahedral and triangular prismatic cells. The algebra is implemented as an extension to the domain-specific language UFL, the Unified Form Language. This allows users to construct many finite element spaces beyond those supported by existing software packages. We have made corresponding extensions to FIAT, the FInite element Automatic Tabulator, to enable numerical tabulation of such spaces. This tabulation is c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.2940","kind":"arxiv","version":3},"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-18T01:00:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CtvC+dCvecpbJdYvHaPpCQG38hiS1GNkkY88hC4gRC0b9jf/8xwVosNsBvgjNPgjWb8rpWevnzticfRKyWfmDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T03:30:44.688477Z"},"content_sha256":"5dfd76c087697aef320b9782e6406b9899b16355b0af9a2eeba68dffc4979943","schema_version":"1.0","event_id":"sha256:5dfd76c087697aef320b9782e6406b9899b16355b0af9a2eeba68dffc4979943"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SXCA4CU6UB7IHNNT4RIGTHOCFU/bundle.json","state_url":"https://pith.science/pith/SXCA4CU6UB7IHNNT4RIGTHOCFU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SXCA4CU6UB7IHNNT4RIGTHOCFU/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-23T03:30:44Z","links":{"resolver":"https://pith.science/pith/SXCA4CU6UB7IHNNT4RIGTHOCFU","bundle":"https://pith.science/pith/SXCA4CU6UB7IHNNT4RIGTHOCFU/bundle.json","state":"https://pith.science/pith/SXCA4CU6UB7IHNNT4RIGTHOCFU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SXCA4CU6UB7IHNNT4RIGTHOCFU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:SXCA4CU6UB7IHNNT4RIGTHOCFU","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":"a70cb4e8ac5deef3e7f2c67d9c679f9420c853e73bbe61e1815851f979c60065","cross_cats_sorted":["cs.MS","cs.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-11-11T19:47:45Z","title_canon_sha256":"0b2e000d3230f4a0a2eca03605486f42d6e134a3120f5e20bea3d56a5e7dfdec"},"schema_version":"1.0","source":{"id":"1411.2940","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.2940","created_at":"2026-05-18T01:00:54Z"},{"alias_kind":"arxiv_version","alias_value":"1411.2940v3","created_at":"2026-05-18T01:00:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.2940","created_at":"2026-05-18T01:00:54Z"},{"alias_kind":"pith_short_12","alias_value":"SXCA4CU6UB7I","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SXCA4CU6UB7IHNNT","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SXCA4CU6","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:5dfd76c087697aef320b9782e6406b9899b16355b0af9a2eeba68dffc4979943","target":"graph","created_at":"2026-05-18T01:00:54Z","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":"We describe and implement a symbolic algebra for scalar and vector-valued finite elements, enabling the computer generation of elements with tensor product structure on quadrilateral, hexahedral and triangular prismatic cells. The algebra is implemented as an extension to the domain-specific language UFL, the Unified Form Language. This allows users to construct many finite element spaces beyond those supported by existing software packages. We have made corresponding extensions to FIAT, the FInite element Automatic Tabulator, to enable numerical tabulation of such spaces. This tabulation is c","authors_text":"Andrew T. T. McRae, Colin J. Cotter, David A. Ham, Gheorghe-Teodor Bercea, Lawrence Mitchell","cross_cats":["cs.MS","cs.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-11-11T19:47:45Z","title":"Automated generation and symbolic manipulation of tensor product finite elements"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.2940","kind":"arxiv","version":3},"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:5a38376cab96765a54a7456bb61890a9e43f31df6041199d7c46c874e908c05b","target":"record","created_at":"2026-05-18T01:00:54Z","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":"a70cb4e8ac5deef3e7f2c67d9c679f9420c853e73bbe61e1815851f979c60065","cross_cats_sorted":["cs.MS","cs.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-11-11T19:47:45Z","title_canon_sha256":"0b2e000d3230f4a0a2eca03605486f42d6e134a3120f5e20bea3d56a5e7dfdec"},"schema_version":"1.0","source":{"id":"1411.2940","kind":"arxiv","version":3}},"canonical_sha256":"95c40e0a9ea07e83b5b3e450699dc22d2c9fd32bc3049813e307b4ec7df80351","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"95c40e0a9ea07e83b5b3e450699dc22d2c9fd32bc3049813e307b4ec7df80351","first_computed_at":"2026-05-18T01:00:54.095194Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:00:54.095194Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dc0TmMPURVGei2GR9uOxnkpmyPcncZF97a/wO3+k7hGElFfnmXrQd9ndd4U+X9HnOgsPvDoyVVBBtO2En3uPCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:00:54.095742Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.2940","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5a38376cab96765a54a7456bb61890a9e43f31df6041199d7c46c874e908c05b","sha256:5dfd76c087697aef320b9782e6406b9899b16355b0af9a2eeba68dffc4979943"],"state_sha256":"78ce61c61cd14aa077b2fe8cc7e1cca8256aa43b1bec2f881e7ef2b6c3f4f588"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"unidOSCFuRqXIBkm2jOM46oSAjhDcSGCD63BJgHZ0DPLPNc2Ndm9Vr/CxWbFIA9GKJoFB3haS0hWQmANzgKRBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T03:30:44.692476Z","bundle_sha256":"ebe50f5778f88a42119d1d1f961962e32726e09eaf1039300df8cf4c27fda744"}}