{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:PPX6NYR3SBQJN7CHJ6QLMEQ4CB","short_pith_number":"pith:PPX6NYR3","canonical_record":{"source":{"id":"1804.02338","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2018-04-06T16:09:06Z","cross_cats_sorted":["cs.MS"],"title_canon_sha256":"75b3f7834a30eab00f9ba61e6391361901f8face2df2dc7b8044936d995dbb13","abstract_canon_sha256":"784df0b49dffae309297eab91d6199e784f0bb1e2758b5d71003d897df9cca5f"},"schema_version":"1.0"},"canonical_sha256":"7befe6e23b906096fc474fa0b6121c1068bddb42a79b1dc4d968b66b53b3b47e","source":{"kind":"arxiv","id":"1804.02338","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.02338","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"arxiv_version","alias_value":"1804.02338v1","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.02338","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"pith_short_12","alias_value":"PPX6NYR3SBQJ","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PPX6NYR3SBQJN7CH","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PPX6NYR3","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:PPX6NYR3SBQJN7CHJ6QLMEQ4CB","target":"record","payload":{"canonical_record":{"source":{"id":"1804.02338","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2018-04-06T16:09:06Z","cross_cats_sorted":["cs.MS"],"title_canon_sha256":"75b3f7834a30eab00f9ba61e6391361901f8face2df2dc7b8044936d995dbb13","abstract_canon_sha256":"784df0b49dffae309297eab91d6199e784f0bb1e2758b5d71003d897df9cca5f"},"schema_version":"1.0"},"canonical_sha256":"7befe6e23b906096fc474fa0b6121c1068bddb42a79b1dc4d968b66b53b3b47e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:05.170925Z","signature_b64":"aGOOHTaRW5blDCbl0SBlJKB8q0JE8oD8BPlecTdvXpZZ+xdYSuKQtFcf73tWcLlSDyN1FhkX6iGZqwWH8ez0AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7befe6e23b906096fc474fa0b6121c1068bddb42a79b1dc4d968b66b53b3b47e","last_reissued_at":"2026-05-18T00:19:05.170390Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:05.170390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.02338","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-18T00:19:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"17k8BV3dNdfKFXOGn2dWeyZS5kAnnLhR9NyotCW/eztkDIs/3ZCmzBPndXGSNxgbMPN1s59gbJSI81Pk9qu1CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T12:55:05.976435Z"},"content_sha256":"79ad043a470149f8bb9cda0ba96d826586868139e071b6956086ee7e12c98f62","schema_version":"1.0","event_id":"sha256:79ad043a470149f8bb9cda0ba96d826586868139e071b6956086ee7e12c98f62"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:PPX6NYR3SBQJN7CHJ6QLMEQ4CB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automatic symbolic computation for discontinuous Galerkin finite element methods","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MS"],"primary_cat":"cs.NA","authors_text":"Nathan Sime, Paul Houston","submitted_at":"2018-04-06T16:09:06Z","abstract_excerpt":"The implementation of discontinuous Galerkin finite element methods (DGFEMs) represents a very challenging computational task, particularly for systems of coupled nonlinear PDEs, including multiphysics problems, whose parameters may consist of power series or functionals of the solution variables. Thereby, the exploitation of symbolic algebra to express a given DGFEM approximation of a PDE problem within a high level language, whose syntax closely resembles the mathematical definition, is an invaluable tool. Indeed, this then facilitates the automatic assembly of the resulting system of (nonli"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.02338","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-18T00:19:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C8njsaPop1QrlK3qHxp+v6ODqd8kwShQQdijnuuYYQ0epeEjIb69QQDETwUGE4AiP/th5nu9vsNw25ewph/TBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T12:55:05.976789Z"},"content_sha256":"7439a848ae6bb05790cac5f762c50b4f964aac52c7adfd4667f971f8f0c690a6","schema_version":"1.0","event_id":"sha256:7439a848ae6bb05790cac5f762c50b4f964aac52c7adfd4667f971f8f0c690a6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PPX6NYR3SBQJN7CHJ6QLMEQ4CB/bundle.json","state_url":"https://pith.science/pith/PPX6NYR3SBQJN7CHJ6QLMEQ4CB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PPX6NYR3SBQJN7CHJ6QLMEQ4CB/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-06-25T12:55:05Z","links":{"resolver":"https://pith.science/pith/PPX6NYR3SBQJN7CHJ6QLMEQ4CB","bundle":"https://pith.science/pith/PPX6NYR3SBQJN7CHJ6QLMEQ4CB/bundle.json","state":"https://pith.science/pith/PPX6NYR3SBQJN7CHJ6QLMEQ4CB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PPX6NYR3SBQJN7CHJ6QLMEQ4CB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:PPX6NYR3SBQJN7CHJ6QLMEQ4CB","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":"784df0b49dffae309297eab91d6199e784f0bb1e2758b5d71003d897df9cca5f","cross_cats_sorted":["cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2018-04-06T16:09:06Z","title_canon_sha256":"75b3f7834a30eab00f9ba61e6391361901f8face2df2dc7b8044936d995dbb13"},"schema_version":"1.0","source":{"id":"1804.02338","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.02338","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"arxiv_version","alias_value":"1804.02338v1","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.02338","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"pith_short_12","alias_value":"PPX6NYR3SBQJ","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PPX6NYR3SBQJN7CH","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PPX6NYR3","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:7439a848ae6bb05790cac5f762c50b4f964aac52c7adfd4667f971f8f0c690a6","target":"graph","created_at":"2026-05-18T00:19:05Z","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":"The implementation of discontinuous Galerkin finite element methods (DGFEMs) represents a very challenging computational task, particularly for systems of coupled nonlinear PDEs, including multiphysics problems, whose parameters may consist of power series or functionals of the solution variables. Thereby, the exploitation of symbolic algebra to express a given DGFEM approximation of a PDE problem within a high level language, whose syntax closely resembles the mathematical definition, is an invaluable tool. Indeed, this then facilitates the automatic assembly of the resulting system of (nonli","authors_text":"Nathan Sime, Paul Houston","cross_cats":["cs.MS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2018-04-06T16:09:06Z","title":"Automatic symbolic computation for discontinuous Galerkin finite element methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.02338","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:79ad043a470149f8bb9cda0ba96d826586868139e071b6956086ee7e12c98f62","target":"record","created_at":"2026-05-18T00:19:05Z","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":"784df0b49dffae309297eab91d6199e784f0bb1e2758b5d71003d897df9cca5f","cross_cats_sorted":["cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2018-04-06T16:09:06Z","title_canon_sha256":"75b3f7834a30eab00f9ba61e6391361901f8face2df2dc7b8044936d995dbb13"},"schema_version":"1.0","source":{"id":"1804.02338","kind":"arxiv","version":1}},"canonical_sha256":"7befe6e23b906096fc474fa0b6121c1068bddb42a79b1dc4d968b66b53b3b47e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7befe6e23b906096fc474fa0b6121c1068bddb42a79b1dc4d968b66b53b3b47e","first_computed_at":"2026-05-18T00:19:05.170390Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:05.170390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aGOOHTaRW5blDCbl0SBlJKB8q0JE8oD8BPlecTdvXpZZ+xdYSuKQtFcf73tWcLlSDyN1FhkX6iGZqwWH8ez0AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:05.170925Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.02338","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:79ad043a470149f8bb9cda0ba96d826586868139e071b6956086ee7e12c98f62","sha256:7439a848ae6bb05790cac5f762c50b4f964aac52c7adfd4667f971f8f0c690a6"],"state_sha256":"60ae187789ab4ac2365004efd72601bfe202af5860b7bcc15a35fd953432d5d9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g8OVlA1s3JXIfvCbBSJGacmeL7IHiih0fsy0TchCWw3e3lCUZD9B3Wcujvtbx0EBeViTqW60Jo1UsZ0atIL7Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T12:55:05.978757Z","bundle_sha256":"5880176820df593e135b158803ca7e9e1ecd0be12ff50f12a88ea5525c4513b1"}}