{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:MOHMR2O3KIK6SZHZKUHJB5KQR2","short_pith_number":"pith:MOHMR2O3","canonical_record":{"source":{"id":"1602.01304","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-02-03T14:04:03Z","cross_cats_sorted":["math.NA"],"title_canon_sha256":"8b4d5c97f210e1a5b24a4a28e1e202f10efaed8eb9022b6764fae185feb91038","abstract_canon_sha256":"5e9510f7f4bb7f047ce786c82e3fcbd6094e51b4faf1dd897e92f039ff3aa9d9"},"schema_version":"1.0"},"canonical_sha256":"638ec8e9db5215e964f9550e90f5508eace21a464dc792bcaf71abaf28a633cb","source":{"kind":"arxiv","id":"1602.01304","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.01304","created_at":"2026-05-18T01:12:16Z"},{"alias_kind":"arxiv_version","alias_value":"1602.01304v2","created_at":"2026-05-18T01:12:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.01304","created_at":"2026-05-18T01:12:16Z"},{"alias_kind":"pith_short_12","alias_value":"MOHMR2O3KIK6","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"MOHMR2O3KIK6SZHZ","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"MOHMR2O3","created_at":"2026-05-18T12:30:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:MOHMR2O3KIK6SZHZKUHJB5KQR2","target":"record","payload":{"canonical_record":{"source":{"id":"1602.01304","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-02-03T14:04:03Z","cross_cats_sorted":["math.NA"],"title_canon_sha256":"8b4d5c97f210e1a5b24a4a28e1e202f10efaed8eb9022b6764fae185feb91038","abstract_canon_sha256":"5e9510f7f4bb7f047ce786c82e3fcbd6094e51b4faf1dd897e92f039ff3aa9d9"},"schema_version":"1.0"},"canonical_sha256":"638ec8e9db5215e964f9550e90f5508eace21a464dc792bcaf71abaf28a633cb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:16.837352Z","signature_b64":"Y4eUmDE01TJvhikUgpveX7O7Zv7E6bcBZtYoZhIlOlQ3FVbkNX9ul/U8ryC2L425RUwHdvSfG+Tp8zX1YRA5AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"638ec8e9db5215e964f9550e90f5508eace21a464dc792bcaf71abaf28a633cb","last_reissued_at":"2026-05-18T01:12:16.836986Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:16.836986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.01304","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-18T01:12:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6J1ZCFmR1ro65mvKEg6anRAIy6RLlyPR6lakuJG7ler4Zwgks9qCknbZwZdkdbL+qIqEDsWe/SYeXi4XdOLnCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T02:48:15.931039Z"},"content_sha256":"c881141be2808c4b0a86cff0ef286c258b63a5be35dd49d9db89e1d0c7b710c9","schema_version":"1.0","event_id":"sha256:c881141be2808c4b0a86cff0ef286c258b63a5be35dd49d9db89e1d0c7b710c9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:MOHMR2O3KIK6SZHZKUHJB5KQR2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inverse Inequality Estimates with Symbolic Computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NA"],"primary_cat":"cs.SC","authors_text":"Christoph Koutschan, Cristian-Silviu Radu, Martin Neum\\\"uller","submitted_at":"2016-02-03T14:04:03Z","abstract_excerpt":"In the convergence analysis of numerical methods for solving partial differential equations (such as finite element methods) one arrives at certain generalized eigenvalue problems, whose maximal eigenvalues need to be estimated as accurately as possible. We apply symbolic computation methods to the situation of square elements and are able to improve the previously known upper bound, given in \"p- and hp-finite element methods\" (Schwab, 1998), by a factor of 8. More precisely, we try to evaluate the corresponding determinant using the holonomic ansatz, which is a powerful tool for dealing with "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.01304","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-18T01:12:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"325hekmbRdPgUmZzaRU3mjmgM7rD+x4qfVxt9f1uwNWTkxpC1MI2ZDAEdUNmYg/a3sDITBY6stpBzfK5Uke5Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T02:48:15.931399Z"},"content_sha256":"734084c5f80dc51a5f2815bcab63ca4caa02ef3c77f1b09da2364d023c174422","schema_version":"1.0","event_id":"sha256:734084c5f80dc51a5f2815bcab63ca4caa02ef3c77f1b09da2364d023c174422"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MOHMR2O3KIK6SZHZKUHJB5KQR2/bundle.json","state_url":"https://pith.science/pith/MOHMR2O3KIK6SZHZKUHJB5KQR2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MOHMR2O3KIK6SZHZKUHJB5KQR2/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-23T02:48:15Z","links":{"resolver":"https://pith.science/pith/MOHMR2O3KIK6SZHZKUHJB5KQR2","bundle":"https://pith.science/pith/MOHMR2O3KIK6SZHZKUHJB5KQR2/bundle.json","state":"https://pith.science/pith/MOHMR2O3KIK6SZHZKUHJB5KQR2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MOHMR2O3KIK6SZHZKUHJB5KQR2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:MOHMR2O3KIK6SZHZKUHJB5KQR2","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":"5e9510f7f4bb7f047ce786c82e3fcbd6094e51b4faf1dd897e92f039ff3aa9d9","cross_cats_sorted":["math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-02-03T14:04:03Z","title_canon_sha256":"8b4d5c97f210e1a5b24a4a28e1e202f10efaed8eb9022b6764fae185feb91038"},"schema_version":"1.0","source":{"id":"1602.01304","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.01304","created_at":"2026-05-18T01:12:16Z"},{"alias_kind":"arxiv_version","alias_value":"1602.01304v2","created_at":"2026-05-18T01:12:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.01304","created_at":"2026-05-18T01:12:16Z"},{"alias_kind":"pith_short_12","alias_value":"MOHMR2O3KIK6","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"MOHMR2O3KIK6SZHZ","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"MOHMR2O3","created_at":"2026-05-18T12:30:32Z"}],"graph_snapshots":[{"event_id":"sha256:734084c5f80dc51a5f2815bcab63ca4caa02ef3c77f1b09da2364d023c174422","target":"graph","created_at":"2026-05-18T01:12:16Z","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":"In the convergence analysis of numerical methods for solving partial differential equations (such as finite element methods) one arrives at certain generalized eigenvalue problems, whose maximal eigenvalues need to be estimated as accurately as possible. We apply symbolic computation methods to the situation of square elements and are able to improve the previously known upper bound, given in \"p- and hp-finite element methods\" (Schwab, 1998), by a factor of 8. More precisely, we try to evaluate the corresponding determinant using the holonomic ansatz, which is a powerful tool for dealing with ","authors_text":"Christoph Koutschan, Cristian-Silviu Radu, Martin Neum\\\"uller","cross_cats":["math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-02-03T14:04:03Z","title":"Inverse Inequality Estimates with Symbolic Computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.01304","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:c881141be2808c4b0a86cff0ef286c258b63a5be35dd49d9db89e1d0c7b710c9","target":"record","created_at":"2026-05-18T01:12:16Z","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":"5e9510f7f4bb7f047ce786c82e3fcbd6094e51b4faf1dd897e92f039ff3aa9d9","cross_cats_sorted":["math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-02-03T14:04:03Z","title_canon_sha256":"8b4d5c97f210e1a5b24a4a28e1e202f10efaed8eb9022b6764fae185feb91038"},"schema_version":"1.0","source":{"id":"1602.01304","kind":"arxiv","version":2}},"canonical_sha256":"638ec8e9db5215e964f9550e90f5508eace21a464dc792bcaf71abaf28a633cb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"638ec8e9db5215e964f9550e90f5508eace21a464dc792bcaf71abaf28a633cb","first_computed_at":"2026-05-18T01:12:16.836986Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:16.836986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y4eUmDE01TJvhikUgpveX7O7Zv7E6bcBZtYoZhIlOlQ3FVbkNX9ul/U8ryC2L425RUwHdvSfG+Tp8zX1YRA5AA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:16.837352Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.01304","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c881141be2808c4b0a86cff0ef286c258b63a5be35dd49d9db89e1d0c7b710c9","sha256:734084c5f80dc51a5f2815bcab63ca4caa02ef3c77f1b09da2364d023c174422"],"state_sha256":"95641b5972eba19a304dac6926a044cf12008662a37a8c99481420ad0ee62b8e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HmcDYjHcnFrzXrh8V62eCqIOi6ra9IDWpNG0MdcKYOeMf8eKP6hBvHUumny1PHV/KheovDjhvP6Z08Y86bGhBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T02:48:15.933366Z","bundle_sha256":"33eb6b9e59806bc007c4fabae0f4cbe260eda528ece655b63d415049a9ab2b48"}}