{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:UJQQBXD7CLFTWUSZJRLTJXER7T","short_pith_number":"pith:UJQQBXD7","schema_version":"1.0","canonical_sha256":"a26100dc7f12cb3b52594c5734dc91fcc367a809f9eea1b0554239fb3ac8d29d","source":{"kind":"arxiv","id":"1211.4047","version":2},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1211.4047","created_at":"2026-05-18T03:27:03.239431+00:00"},{"alias_kind":"arxiv_version","alias_value":"1211.4047v2","created_at":"2026-05-18T03:27:03.239431+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.4047","created_at":"2026-05-18T03:27:03.239431+00:00"},{"alias_kind":"pith_short_12","alias_value":"UJQQBXD7CLFT","created_at":"2026-05-18T12:27:23.164592+00:00"},{"alias_kind":"pith_short_16","alias_value":"UJQQBXD7CLFTWUSZ","created_at":"2026-05-18T12:27:23.164592+00:00"},{"alias_kind":"pith_short_8","alias_value":"UJQQBXD7","created_at":"2026-05-18T12:27:23.164592+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/UJQQBXD7CLFTWUSZJRLTJXER7T","json":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T.json","graph_json":"https://pith.science/api/pith-number/UJQQBXD7CLFTWUSZJRLTJXER7T/graph.json","events_json":"https://pith.science/api/pith-number/UJQQBXD7CLFTWUSZJRLTJXER7T/events.json","paper":"https://pith.science/paper/UJQQBXD7"},"agent_actions":{"view_html":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T","download_json":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T.json","view_paper":"https://pith.science/paper/UJQQBXD7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1211.4047&json=true","fetch_graph":"https://pith.science/api/pith-number/UJQQBXD7CLFTWUSZJRLTJXER7T/graph.json","fetch_events":"https://pith.science/api/pith-number/UJQQBXD7CLFTWUSZJRLTJXER7T/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T/action/storage_attestation","attest_author":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T/action/author_attestation","sign_citation":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T/action/citation_signature","submit_replication":"https://pith.science/pith/UJQQBXD7CLFTWUSZJRLTJXER7T/action/replication_record"}},"created_at":"2026-05-18T03:27:03.239431+00:00","updated_at":"2026-05-18T03:27:03.239431+00:00"}