{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:JRLUBVK4J4QSVCRYKSA6X6ZQN6","short_pith_number":"pith:JRLUBVK4","canonical_record":{"source":{"id":"1403.6619","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-03-26T10:29:54Z","cross_cats_sorted":[],"title_canon_sha256":"3986ecd476f83dcc24d320663915f0a731295d50334e8201e569374e2cc4309e","abstract_canon_sha256":"d28f254c7b6dfd9ac29eb78ad88f9d994a44f9238e518670c92a643e02c4b1fc"},"schema_version":"1.0"},"canonical_sha256":"4c5740d55c4f212a8a385481ebfb306faa9399e45ac388dda971f086605825c7","source":{"kind":"arxiv","id":"1403.6619","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.6619","created_at":"2026-05-18T02:55:28Z"},{"alias_kind":"arxiv_version","alias_value":"1403.6619v1","created_at":"2026-05-18T02:55:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.6619","created_at":"2026-05-18T02:55:28Z"},{"alias_kind":"pith_short_12","alias_value":"JRLUBVK4J4QS","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"JRLUBVK4J4QSVCRY","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"JRLUBVK4","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:JRLUBVK4J4QSVCRYKSA6X6ZQN6","target":"record","payload":{"canonical_record":{"source":{"id":"1403.6619","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-03-26T10:29:54Z","cross_cats_sorted":[],"title_canon_sha256":"3986ecd476f83dcc24d320663915f0a731295d50334e8201e569374e2cc4309e","abstract_canon_sha256":"d28f254c7b6dfd9ac29eb78ad88f9d994a44f9238e518670c92a643e02c4b1fc"},"schema_version":"1.0"},"canonical_sha256":"4c5740d55c4f212a8a385481ebfb306faa9399e45ac388dda971f086605825c7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:28.484081Z","signature_b64":"fKp0FgQW851qtm10N9mpO7msAC6H+0+X5EflCIgIMg2hKPMUcz+CMm4K0b7tCyfwbp2gaGAugYrigxSUzOtaDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4c5740d55c4f212a8a385481ebfb306faa9399e45ac388dda971f086605825c7","last_reissued_at":"2026-05-18T02:55:28.483421Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:28.483421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.6619","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-18T02:55:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PsaUK70bPLmF7YYr7RdAzGsO6lYNwxu+3bhy0fIa0/H9Psf99LhgyaGL4Vhq0a12MISxf979cxYlQ/JAzyCuAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T22:35:27.301661Z"},"content_sha256":"3bbe244a267a7c5ef5dabc2ed29b0f30461993afb964ec6470488286fa78ebc9","schema_version":"1.0","event_id":"sha256:3bbe244a267a7c5ef5dabc2ed29b0f30461993afb964ec6470488286fa78ebc9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:JRLUBVK4J4QSVCRYKSA6X6ZQN6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification of functional a posteriori error estimates for obstacle problem in 2D","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Jan Valdman, Petr Harasim","submitted_at":"2014-03-26T10:29:54Z","abstract_excerpt":"We verify functional a posteriori error estimate proposed by S. Repin for a class of obstacle problems. The obstacle problem is formulated as a quadratic minimization problem with constrains equivalently formulated as a variational inequality. New benchmarks with known analytical solutions in 2D are constructed based on 1D benchmark introduced by P. Harasim and J. Valdman. Numerical approximation of the obstacle problem is obtained by the finite element method using bilinear elements on a rectangular mesh. Error of the approximation is meassured in the energy norm and bounded from above by a f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.6619","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-18T02:55:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GfBDD5ci+wa0BfcHi1Q8+1v1Yz1qY77HiF/f5Pq+WjoH/mhiLHXXl/CvAbbjWGcUu4/sMfWTu5sPoIVPv5dUBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T22:35:27.302005Z"},"content_sha256":"05f7462424bafdfaa2c9547e35498c14bf79d427f575f6b226f0a16924d9b358","schema_version":"1.0","event_id":"sha256:05f7462424bafdfaa2c9547e35498c14bf79d427f575f6b226f0a16924d9b358"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JRLUBVK4J4QSVCRYKSA6X6ZQN6/bundle.json","state_url":"https://pith.science/pith/JRLUBVK4J4QSVCRYKSA6X6ZQN6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JRLUBVK4J4QSVCRYKSA6X6ZQN6/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-21T22:35:27Z","links":{"resolver":"https://pith.science/pith/JRLUBVK4J4QSVCRYKSA6X6ZQN6","bundle":"https://pith.science/pith/JRLUBVK4J4QSVCRYKSA6X6ZQN6/bundle.json","state":"https://pith.science/pith/JRLUBVK4J4QSVCRYKSA6X6ZQN6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JRLUBVK4J4QSVCRYKSA6X6ZQN6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:JRLUBVK4J4QSVCRYKSA6X6ZQN6","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":"d28f254c7b6dfd9ac29eb78ad88f9d994a44f9238e518670c92a643e02c4b1fc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-03-26T10:29:54Z","title_canon_sha256":"3986ecd476f83dcc24d320663915f0a731295d50334e8201e569374e2cc4309e"},"schema_version":"1.0","source":{"id":"1403.6619","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.6619","created_at":"2026-05-18T02:55:28Z"},{"alias_kind":"arxiv_version","alias_value":"1403.6619v1","created_at":"2026-05-18T02:55:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.6619","created_at":"2026-05-18T02:55:28Z"},{"alias_kind":"pith_short_12","alias_value":"JRLUBVK4J4QS","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"JRLUBVK4J4QSVCRY","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"JRLUBVK4","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:05f7462424bafdfaa2c9547e35498c14bf79d427f575f6b226f0a16924d9b358","target":"graph","created_at":"2026-05-18T02:55:28Z","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 verify functional a posteriori error estimate proposed by S. Repin for a class of obstacle problems. The obstacle problem is formulated as a quadratic minimization problem with constrains equivalently formulated as a variational inequality. New benchmarks with known analytical solutions in 2D are constructed based on 1D benchmark introduced by P. Harasim and J. Valdman. Numerical approximation of the obstacle problem is obtained by the finite element method using bilinear elements on a rectangular mesh. Error of the approximation is meassured in the energy norm and bounded from above by a f","authors_text":"Jan Valdman, Petr Harasim","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-03-26T10:29:54Z","title":"Verification of functional a posteriori error estimates for obstacle problem in 2D"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.6619","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:3bbe244a267a7c5ef5dabc2ed29b0f30461993afb964ec6470488286fa78ebc9","target":"record","created_at":"2026-05-18T02:55:28Z","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":"d28f254c7b6dfd9ac29eb78ad88f9d994a44f9238e518670c92a643e02c4b1fc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-03-26T10:29:54Z","title_canon_sha256":"3986ecd476f83dcc24d320663915f0a731295d50334e8201e569374e2cc4309e"},"schema_version":"1.0","source":{"id":"1403.6619","kind":"arxiv","version":1}},"canonical_sha256":"4c5740d55c4f212a8a385481ebfb306faa9399e45ac388dda971f086605825c7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4c5740d55c4f212a8a385481ebfb306faa9399e45ac388dda971f086605825c7","first_computed_at":"2026-05-18T02:55:28.483421Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:55:28.483421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fKp0FgQW851qtm10N9mpO7msAC6H+0+X5EflCIgIMg2hKPMUcz+CMm4K0b7tCyfwbp2gaGAugYrigxSUzOtaDw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:55:28.484081Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.6619","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3bbe244a267a7c5ef5dabc2ed29b0f30461993afb964ec6470488286fa78ebc9","sha256:05f7462424bafdfaa2c9547e35498c14bf79d427f575f6b226f0a16924d9b358"],"state_sha256":"0c89535d1f28ead6d58aba7c46945c3423f4f39e9064f09a0914bf7416214387"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"936Gz9+tkoMwLt41puTYPwEdxsjIZXEem1fPcXrqCCr6VNzrJEf27/sZQ6Z2CKb0A0TMnkDb3TgKuKnpAJhNCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T22:35:27.303933Z","bundle_sha256":"af2970668664ef10a75b4b749421477eb97906fbe68e306fac28310095413664"}}