{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:CUTCS7T5IA3XCOGX43A2AUBTFP","short_pith_number":"pith:CUTCS7T5","canonical_record":{"source":{"id":"1204.6643","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-04-30T14:12:31Z","cross_cats_sorted":[],"title_canon_sha256":"7392a562535e9ef1f2f1d1ea6d8a064bed7869f5047b19a0c864bde0c197aebb","abstract_canon_sha256":"d796bcfbbe60fae176769e2fc18d3279fef7f45a7dca62a2d620c06823d38d6a"},"schema_version":"1.0"},"canonical_sha256":"1526297e7d40377138d7e6c1a050332bfbd6aab88f721aaa8df6eea71ade21dc","source":{"kind":"arxiv","id":"1204.6643","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.6643","created_at":"2026-05-18T03:56:44Z"},{"alias_kind":"arxiv_version","alias_value":"1204.6643v1","created_at":"2026-05-18T03:56:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.6643","created_at":"2026-05-18T03:56:44Z"},{"alias_kind":"pith_short_12","alias_value":"CUTCS7T5IA3X","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_16","alias_value":"CUTCS7T5IA3XCOGX","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_8","alias_value":"CUTCS7T5","created_at":"2026-05-18T12:27:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:CUTCS7T5IA3XCOGX43A2AUBTFP","target":"record","payload":{"canonical_record":{"source":{"id":"1204.6643","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-04-30T14:12:31Z","cross_cats_sorted":[],"title_canon_sha256":"7392a562535e9ef1f2f1d1ea6d8a064bed7869f5047b19a0c864bde0c197aebb","abstract_canon_sha256":"d796bcfbbe60fae176769e2fc18d3279fef7f45a7dca62a2d620c06823d38d6a"},"schema_version":"1.0"},"canonical_sha256":"1526297e7d40377138d7e6c1a050332bfbd6aab88f721aaa8df6eea71ade21dc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:56:44.225530Z","signature_b64":"Ba9YmwXkhC10ehWQybTKKf0Af/665ib90K725DV0ovKsS1J5j/2rKixE9AodUZqpg9SnmZGyc64XZZD8uBDuBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1526297e7d40377138d7e6c1a050332bfbd6aab88f721aaa8df6eea71ade21dc","last_reissued_at":"2026-05-18T03:56:44.224958Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:56:44.224958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1204.6643","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:56:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rApx8cFas9dxI7JJF//+UyBAcMfKVN7V4Dtmayy8I1sswnqUapksnXqEWrXWqRmmtI+F2dyUM8sDd0pHZ3R7Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T01:12:10.459579Z"},"content_sha256":"d08b344987586036905e50ff67d93e15c4d201239fb8653925102cd99df04401","schema_version":"1.0","event_id":"sha256:d08b344987586036905e50ff67d93e15c4d201239fb8653925102cd99df04401"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:CUTCS7T5IA3XCOGX43A2AUBTFP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated goal-oriented error control I: stationary variational problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Anders Logg, Marie E. Rognes","submitted_at":"2012-04-30T14:12:31Z","abstract_excerpt":"This article presents a general and novel approach to the automation of goal-oriented error control in the solution of nonlinear stationary finite element variational problems. The approach is based on automated linearization to obtain the linearized dual problem, automated derivation and evaluation of a posteriori error estimates, and automated adaptive mesh refinement to control the error in a given goal functional to within a given tolerance. Numerical examples representing a variety of different discretizations of linear and nonlinear partial differential equations are presented, including"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.6643","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:56:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2uQCaelTCAY30QwBeiHpDVMcbTHRDlHMzHr1fhSkJjEZw2unYKSicP8cARtBSECw+dgTnOlYMtqoEehcm86SDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T01:12:10.460032Z"},"content_sha256":"b792c93d5bea867963dabecb7ce12cb30bf2b9ef1b07c69a7edce190f21efa09","schema_version":"1.0","event_id":"sha256:b792c93d5bea867963dabecb7ce12cb30bf2b9ef1b07c69a7edce190f21efa09"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CUTCS7T5IA3XCOGX43A2AUBTFP/bundle.json","state_url":"https://pith.science/pith/CUTCS7T5IA3XCOGX43A2AUBTFP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CUTCS7T5IA3XCOGX43A2AUBTFP/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-31T01:12:10Z","links":{"resolver":"https://pith.science/pith/CUTCS7T5IA3XCOGX43A2AUBTFP","bundle":"https://pith.science/pith/CUTCS7T5IA3XCOGX43A2AUBTFP/bundle.json","state":"https://pith.science/pith/CUTCS7T5IA3XCOGX43A2AUBTFP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CUTCS7T5IA3XCOGX43A2AUBTFP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:CUTCS7T5IA3XCOGX43A2AUBTFP","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":"d796bcfbbe60fae176769e2fc18d3279fef7f45a7dca62a2d620c06823d38d6a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-04-30T14:12:31Z","title_canon_sha256":"7392a562535e9ef1f2f1d1ea6d8a064bed7869f5047b19a0c864bde0c197aebb"},"schema_version":"1.0","source":{"id":"1204.6643","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.6643","created_at":"2026-05-18T03:56:44Z"},{"alias_kind":"arxiv_version","alias_value":"1204.6643v1","created_at":"2026-05-18T03:56:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.6643","created_at":"2026-05-18T03:56:44Z"},{"alias_kind":"pith_short_12","alias_value":"CUTCS7T5IA3X","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_16","alias_value":"CUTCS7T5IA3XCOGX","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_8","alias_value":"CUTCS7T5","created_at":"2026-05-18T12:27:01Z"}],"graph_snapshots":[{"event_id":"sha256:b792c93d5bea867963dabecb7ce12cb30bf2b9ef1b07c69a7edce190f21efa09","target":"graph","created_at":"2026-05-18T03:56:44Z","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":"This article presents a general and novel approach to the automation of goal-oriented error control in the solution of nonlinear stationary finite element variational problems. The approach is based on automated linearization to obtain the linearized dual problem, automated derivation and evaluation of a posteriori error estimates, and automated adaptive mesh refinement to control the error in a given goal functional to within a given tolerance. Numerical examples representing a variety of different discretizations of linear and nonlinear partial differential equations are presented, including","authors_text":"Anders Logg, Marie E. Rognes","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-04-30T14:12:31Z","title":"Automated goal-oriented error control I: stationary variational problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.6643","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:d08b344987586036905e50ff67d93e15c4d201239fb8653925102cd99df04401","target":"record","created_at":"2026-05-18T03:56:44Z","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":"d796bcfbbe60fae176769e2fc18d3279fef7f45a7dca62a2d620c06823d38d6a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-04-30T14:12:31Z","title_canon_sha256":"7392a562535e9ef1f2f1d1ea6d8a064bed7869f5047b19a0c864bde0c197aebb"},"schema_version":"1.0","source":{"id":"1204.6643","kind":"arxiv","version":1}},"canonical_sha256":"1526297e7d40377138d7e6c1a050332bfbd6aab88f721aaa8df6eea71ade21dc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1526297e7d40377138d7e6c1a050332bfbd6aab88f721aaa8df6eea71ade21dc","first_computed_at":"2026-05-18T03:56:44.224958Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:56:44.224958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ba9YmwXkhC10ehWQybTKKf0Af/665ib90K725DV0ovKsS1J5j/2rKixE9AodUZqpg9SnmZGyc64XZZD8uBDuBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:56:44.225530Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.6643","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d08b344987586036905e50ff67d93e15c4d201239fb8653925102cd99df04401","sha256:b792c93d5bea867963dabecb7ce12cb30bf2b9ef1b07c69a7edce190f21efa09"],"state_sha256":"aee06f9d2d660b70647a911173d39ee649394c4996d29c356632a1d9cc699208"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YII/xTgEMbuXbQZZbDFdKCbGpInO1xP4f0TnVBSa3DoNDURiWsA2ZcG6u2Qibm3tKYScG3p7Vw2N6aPEjo1pAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T01:12:10.463334Z","bundle_sha256":"20010f2c4c638000e148ffd8513c48cb9c0a8707b59d869552d3354df1838d23"}}