{"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"}