{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:UJQQBXD7CLFTWUSZJRLTJXER7T","short_pith_number":"pith:UJQQBXD7","canonical_record":{"source":{"id":"1211.4047","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2012-11-16T21:56:02Z","cross_cats_sorted":["cs.NA","cs.SC"],"title_canon_sha256":"d7ccd4bd7eb6e9cbf8ded7b27e731a5e67c6dc6dcba3645abae1d34eaf12d504","abstract_canon_sha256":"36bdc368dd1414c27243c36336f25956bcee80de95d210bbba533a422de4df20"},"schema_version":"1.0"},"canonical_sha256":"a26100dc7f12cb3b52594c5734dc91fcc367a809f9eea1b0554239fb3ac8d29d","source":{"kind":"arxiv","id":"1211.4047","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.4047","created_at":"2026-05-18T03:27:03Z"},{"alias_kind":"arxiv_version","alias_value":"1211.4047v2","created_at":"2026-05-18T03:27:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.4047","created_at":"2026-05-18T03:27:03Z"},{"alias_kind":"pith_short_12","alias_value":"UJQQBXD7CLFT","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"UJQQBXD7CLFTWUSZ","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"UJQQBXD7","created_at":"2026-05-18T12:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:UJQQBXD7CLFTWUSZJRLTJXER7T","target":"record","payload":{"canonical_record":{"source":{"id":"1211.4047","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2012-11-16T21:56:02Z","cross_cats_sorted":["cs.NA","cs.SC"],"title_canon_sha256":"d7ccd4bd7eb6e9cbf8ded7b27e731a5e67c6dc6dcba3645abae1d34eaf12d504","abstract_canon_sha256":"36bdc368dd1414c27243c36336f25956bcee80de95d210bbba533a422de4df20"},"schema_version":"1.0"},"canonical_sha256":"a26100dc7f12cb3b52594c5734dc91fcc367a809f9eea1b0554239fb3ac8d29d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:27:03.239867Z","signature_b64":"U07naXMX3QdM27vsDkEwcFhjR77WXU6xZ9O0mGPyMpKSVXw8JGoBsxUqTYI50xiRDuAfve5lqgldXs9p6fESAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a26100dc7f12cb3b52594c5734dc91fcc367a809f9eea1b0554239fb3ac8d29d","last_reissued_at":"2026-05-18T03:27:03.239361Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:27:03.239361Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.4047","source_version":2,"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:27:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RZcpGgHA+93G8k4tMQhoFjShxOsmbq72mPEjSbDRpi4PzZJTPiSjr8JqfI32RrEEnWYOV3eyqWb1z948+0W1DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T23:37:19.418430Z"},"content_sha256":"8e4fb6eefd9e090b7cdaee952d9cb8c1d1f609c87d5d199cc1b1cc78109148de","schema_version":"1.0","event_id":"sha256:8e4fb6eefd9e090b7cdaee952d9cb8c1d1f609c87d5d199cc1b1cc78109148de"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:UJQQBXD7CLFTWUSZJRLTJXER7T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Unified Form Language: A domain-specific language for weak formulations of partial differential equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","cs.SC"],"primary_cat":"cs.MS","authors_text":"Anders Logg, Garth N. Wells, Kristian B. Oelgaard, Marie E. Rognes, Martin S. Alnaes","submitted_at":"2012-11-16T21:56:02Z","abstract_excerpt":"We present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies for multi-field problems, general differential operators and flexible tensor algebra. With these features, UFL has been used to effortlessly express finite element methods for complex systems of partial differential equations in near-mathematical nota"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.4047","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"},"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:27:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h1sBx1V3Qh5/CbfKWUbjXukVum1LbONg63zC7FeHhDWWHBF/5ez97hnWUTE7/hYq5/1WcWzGSaxw+yZdqMgUBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T23:37:19.418780Z"},"content_sha256":"f4e3b1d135b87ac2b15d345793cc8044a4366ab672f161ff0a31bc7596f7dcf7","schema_version":"1.0","event_id":"sha256:f4e3b1d135b87ac2b15d345793cc8044a4366ab672f161ff0a31bc7596f7dcf7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T/bundle.json","state_url":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UJQQBXD7CLFTWUSZJRLTJXER7T/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-30T23:37:19Z","links":{"resolver":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T","bundle":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T/bundle.json","state":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UJQQBXD7CLFTWUSZJRLTJXER7T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:UJQQBXD7CLFTWUSZJRLTJXER7T","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":"36bdc368dd1414c27243c36336f25956bcee80de95d210bbba533a422de4df20","cross_cats_sorted":["cs.NA","cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2012-11-16T21:56:02Z","title_canon_sha256":"d7ccd4bd7eb6e9cbf8ded7b27e731a5e67c6dc6dcba3645abae1d34eaf12d504"},"schema_version":"1.0","source":{"id":"1211.4047","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.4047","created_at":"2026-05-18T03:27:03Z"},{"alias_kind":"arxiv_version","alias_value":"1211.4047v2","created_at":"2026-05-18T03:27:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.4047","created_at":"2026-05-18T03:27:03Z"},{"alias_kind":"pith_short_12","alias_value":"UJQQBXD7CLFT","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"UJQQBXD7CLFTWUSZ","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"UJQQBXD7","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:f4e3b1d135b87ac2b15d345793cc8044a4366ab672f161ff0a31bc7596f7dcf7","target":"graph","created_at":"2026-05-18T03:27:03Z","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 present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies for multi-field problems, general differential operators and flexible tensor algebra. With these features, UFL has been used to effortlessly express finite element methods for complex systems of partial differential equations in near-mathematical nota","authors_text":"Anders Logg, Garth N. Wells, Kristian B. Oelgaard, Marie E. Rognes, Martin S. Alnaes","cross_cats":["cs.NA","cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2012-11-16T21:56:02Z","title":"Unified Form Language: A domain-specific language for weak formulations of partial differential equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.4047","kind":"arxiv","version":2},"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:8e4fb6eefd9e090b7cdaee952d9cb8c1d1f609c87d5d199cc1b1cc78109148de","target":"record","created_at":"2026-05-18T03:27:03Z","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":"36bdc368dd1414c27243c36336f25956bcee80de95d210bbba533a422de4df20","cross_cats_sorted":["cs.NA","cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2012-11-16T21:56:02Z","title_canon_sha256":"d7ccd4bd7eb6e9cbf8ded7b27e731a5e67c6dc6dcba3645abae1d34eaf12d504"},"schema_version":"1.0","source":{"id":"1211.4047","kind":"arxiv","version":2}},"canonical_sha256":"a26100dc7f12cb3b52594c5734dc91fcc367a809f9eea1b0554239fb3ac8d29d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a26100dc7f12cb3b52594c5734dc91fcc367a809f9eea1b0554239fb3ac8d29d","first_computed_at":"2026-05-18T03:27:03.239361Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:27:03.239361Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U07naXMX3QdM27vsDkEwcFhjR77WXU6xZ9O0mGPyMpKSVXw8JGoBsxUqTYI50xiRDuAfve5lqgldXs9p6fESAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:27:03.239867Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.4047","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8e4fb6eefd9e090b7cdaee952d9cb8c1d1f609c87d5d199cc1b1cc78109148de","sha256:f4e3b1d135b87ac2b15d345793cc8044a4366ab672f161ff0a31bc7596f7dcf7"],"state_sha256":"b08df609f8b9bf574a5f64bd369f4b03ba2ce5227d4a62d525fd71c1041dccbf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TzH8Yi4ol4Ldk8ZYMAGwsPG+5vdO4BfcGmbdhvJh2bGdsoFoIwQgRlZGm7QcxQXycjy7tdQMie0VEzhO8OPGBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T23:37:19.420722Z","bundle_sha256":"917ecc10264996e875a2259f070ca02487f0172a2500a8aea3268ff200725ead"}}