{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:L2DQDSIECCOL3UPJXWOOMNOZM4","short_pith_number":"pith:L2DQDSIE","canonical_record":{"source":{"id":"1207.6331","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2012-07-26T17:07:35Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"98871f3fd3aa31e95672eb9847cc6a2c1e7c8488997a324bbddc151a7aca646a","abstract_canon_sha256":"361b0bed83ae44e1c59cb0322563d4f9f60e23d11cf18aeee4caa23902118a88"},"schema_version":"1.0"},"canonical_sha256":"5e8701c904109cbdd1e9bd9ce635d9671f9ade77789f75ff6bdc2b2b5a00d279","source":{"kind":"arxiv","id":"1207.6331","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.6331","created_at":"2026-05-18T02:58:57Z"},{"alias_kind":"arxiv_version","alias_value":"1207.6331v3","created_at":"2026-05-18T02:58:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.6331","created_at":"2026-05-18T02:58:57Z"},{"alias_kind":"pith_short_12","alias_value":"L2DQDSIECCOL","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"L2DQDSIECCOL3UPJ","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"L2DQDSIE","created_at":"2026-05-18T12:27:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:L2DQDSIECCOL3UPJXWOOMNOZM4","target":"record","payload":{"canonical_record":{"source":{"id":"1207.6331","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2012-07-26T17:07:35Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"98871f3fd3aa31e95672eb9847cc6a2c1e7c8488997a324bbddc151a7aca646a","abstract_canon_sha256":"361b0bed83ae44e1c59cb0322563d4f9f60e23d11cf18aeee4caa23902118a88"},"schema_version":"1.0"},"canonical_sha256":"5e8701c904109cbdd1e9bd9ce635d9671f9ade77789f75ff6bdc2b2b5a00d279","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:58:57.809549Z","signature_b64":"SoUFkovCuoEQndt6gmg/PH9YBxSOHqQbjUXR9/gZfFKm+cLvHE115To6DbYT2BMv98GD51IttwNeaaGkoqmcDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e8701c904109cbdd1e9bd9ce635d9671f9ade77789f75ff6bdc2b2b5a00d279","last_reissued_at":"2026-05-18T02:58:57.808645Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:58:57.808645Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1207.6331","source_version":3,"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:58:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cDEE5VKcjJq9dqE8pKcSurxzb8biVkRvZsqEZy4lO6ikmXTg1wUAwzbW1RHq4tsSFR+tlYal++Sy3a8h1YndCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T15:37:24.233957Z"},"content_sha256":"4a1ed01ee577eb9d3c3e0569be8733d2de74803b21f6bee3ccfc030d3f065b16","schema_version":"1.0","event_id":"sha256:4a1ed01ee577eb9d3c3e0569be8733d2de74803b21f6bee3ccfc030d3f065b16"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:L2DQDSIECCOL3UPJXWOOMNOZM4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Effective Topological Degree Computation Based on Interval Arithmetic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"cs.CG","authors_text":"Peter Franek, Stefan Ratschan","submitted_at":"2012-07-26T17:07:35Z","abstract_excerpt":"We describe a new algorithm for calculating the topological degree deg (f, B, 0) where B \\subseteq Rn is a product of closed real intervals and f : B \\rightarrow Rn is a real-valued continuous function given in the form of arithmetical expressions. The algorithm cleanly separates numerical from combinatorial computation. Based on this, the numerical part provably computes only the information that is strictly necessary for the following combinatorial part, and the combinatorial part may optimize its computation based on the numerical information computed before. We also present computational e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.6331","kind":"arxiv","version":3},"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:58:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Oi2bdSOKiW1qMLRdVUGVviRSoUpv/zijQXFo38JZXsIW8NqBkfP/nHuLc0fCQc5bPQWDUG8aeq6BqK4QZ9lmDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T15:37:24.234329Z"},"content_sha256":"54269f3247ba4c4ee030b7d8b8fdffe6582a43680685631b73780f87cdc6b19a","schema_version":"1.0","event_id":"sha256:54269f3247ba4c4ee030b7d8b8fdffe6582a43680685631b73780f87cdc6b19a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L2DQDSIECCOL3UPJXWOOMNOZM4/bundle.json","state_url":"https://pith.science/pith/L2DQDSIECCOL3UPJXWOOMNOZM4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L2DQDSIECCOL3UPJXWOOMNOZM4/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-03T15:37:24Z","links":{"resolver":"https://pith.science/pith/L2DQDSIECCOL3UPJXWOOMNOZM4","bundle":"https://pith.science/pith/L2DQDSIECCOL3UPJXWOOMNOZM4/bundle.json","state":"https://pith.science/pith/L2DQDSIECCOL3UPJXWOOMNOZM4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L2DQDSIECCOL3UPJXWOOMNOZM4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:L2DQDSIECCOL3UPJXWOOMNOZM4","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":"361b0bed83ae44e1c59cb0322563d4f9f60e23d11cf18aeee4caa23902118a88","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2012-07-26T17:07:35Z","title_canon_sha256":"98871f3fd3aa31e95672eb9847cc6a2c1e7c8488997a324bbddc151a7aca646a"},"schema_version":"1.0","source":{"id":"1207.6331","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.6331","created_at":"2026-05-18T02:58:57Z"},{"alias_kind":"arxiv_version","alias_value":"1207.6331v3","created_at":"2026-05-18T02:58:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.6331","created_at":"2026-05-18T02:58:57Z"},{"alias_kind":"pith_short_12","alias_value":"L2DQDSIECCOL","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"L2DQDSIECCOL3UPJ","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"L2DQDSIE","created_at":"2026-05-18T12:27:11Z"}],"graph_snapshots":[{"event_id":"sha256:54269f3247ba4c4ee030b7d8b8fdffe6582a43680685631b73780f87cdc6b19a","target":"graph","created_at":"2026-05-18T02:58:57Z","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 describe a new algorithm for calculating the topological degree deg (f, B, 0) where B \\subseteq Rn is a product of closed real intervals and f : B \\rightarrow Rn is a real-valued continuous function given in the form of arithmetical expressions. The algorithm cleanly separates numerical from combinatorial computation. Based on this, the numerical part provably computes only the information that is strictly necessary for the following combinatorial part, and the combinatorial part may optimize its computation based on the numerical information computed before. We also present computational e","authors_text":"Peter Franek, Stefan Ratschan","cross_cats":["math.AT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2012-07-26T17:07:35Z","title":"Effective Topological Degree Computation Based on Interval Arithmetic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.6331","kind":"arxiv","version":3},"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:4a1ed01ee577eb9d3c3e0569be8733d2de74803b21f6bee3ccfc030d3f065b16","target":"record","created_at":"2026-05-18T02:58:57Z","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":"361b0bed83ae44e1c59cb0322563d4f9f60e23d11cf18aeee4caa23902118a88","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2012-07-26T17:07:35Z","title_canon_sha256":"98871f3fd3aa31e95672eb9847cc6a2c1e7c8488997a324bbddc151a7aca646a"},"schema_version":"1.0","source":{"id":"1207.6331","kind":"arxiv","version":3}},"canonical_sha256":"5e8701c904109cbdd1e9bd9ce635d9671f9ade77789f75ff6bdc2b2b5a00d279","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5e8701c904109cbdd1e9bd9ce635d9671f9ade77789f75ff6bdc2b2b5a00d279","first_computed_at":"2026-05-18T02:58:57.808645Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:58:57.808645Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SoUFkovCuoEQndt6gmg/PH9YBxSOHqQbjUXR9/gZfFKm+cLvHE115To6DbYT2BMv98GD51IttwNeaaGkoqmcDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:58:57.809549Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.6331","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4a1ed01ee577eb9d3c3e0569be8733d2de74803b21f6bee3ccfc030d3f065b16","sha256:54269f3247ba4c4ee030b7d8b8fdffe6582a43680685631b73780f87cdc6b19a"],"state_sha256":"98124fc38529502e5c7b345bdbf1798f06c451c67f14e9e6e34dbb872578885d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aDRMSAMx/U/ZGHahd8oIDv07gOq9Po+jretyrQtMhlqp2vm4cWvnqa/ZHeebC/svhS/CtYvrUSQNVGCrvETmDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T15:37:24.238166Z","bundle_sha256":"a86272ff25ea9006ea452fc44d78afe56893c5104db6bac64c2ba4588a83b139"}}