{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GD4T6FOXM5MNJNC3UU3YAZU7MZ","short_pith_number":"pith:GD4T6FOX","canonical_record":{"source":{"id":"1711.04189","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IR","submitted_at":"2017-11-11T20:12:42Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"85aebcbe61a939eda9d64f4eb17ceaefae60f2424ad4b0692d33656217bf6d6e","abstract_canon_sha256":"df484f5c8e1fe6f043f51a0764f7e84e88a9f7ac511f5279e855d1840885d981"},"schema_version":"1.0"},"canonical_sha256":"30f93f15d76758d4b45ba53780669f6660f6706f4541d24cc692a9f45c5a29ff","source":{"kind":"arxiv","id":"1711.04189","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.04189","created_at":"2026-05-18T00:07:18Z"},{"alias_kind":"arxiv_version","alias_value":"1711.04189v1","created_at":"2026-05-18T00:07:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.04189","created_at":"2026-05-18T00:07:18Z"},{"alias_kind":"pith_short_12","alias_value":"GD4T6FOXM5MN","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"GD4T6FOXM5MNJNC3","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"GD4T6FOX","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GD4T6FOXM5MNJNC3UU3YAZU7MZ","target":"record","payload":{"canonical_record":{"source":{"id":"1711.04189","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IR","submitted_at":"2017-11-11T20:12:42Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"85aebcbe61a939eda9d64f4eb17ceaefae60f2424ad4b0692d33656217bf6d6e","abstract_canon_sha256":"df484f5c8e1fe6f043f51a0764f7e84e88a9f7ac511f5279e855d1840885d981"},"schema_version":"1.0"},"canonical_sha256":"30f93f15d76758d4b45ba53780669f6660f6706f4541d24cc692a9f45c5a29ff","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:07:18.260392Z","signature_b64":"YZkZw8K/yOcEBSZVVJYk2SaIBOFBt7JFwvGAi93hRcZZgNNGPRfY6szR6rT6fn9xVzqlLb+spnmZwyf3l0BvDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"30f93f15d76758d4b45ba53780669f6660f6706f4541d24cc692a9f45c5a29ff","last_reissued_at":"2026-05-18T00:07:18.259717Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:07:18.259717Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.04189","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-18T00:07:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/XKxneuw12YUgyddBSgvZuDIPUeO0NrVpz7mXN0dPXXjeAlLzMt0dRf5pmAnxIv7Z9BGQpqGXCTZ1Tv93B8dBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T09:20:37.535547Z"},"content_sha256":"41d7421d0770c1c794c5c181003d11924cec608844133f5e554761138a13d8f8","schema_version":"1.0","event_id":"sha256:41d7421d0770c1c794c5c181003d11924cec608844133f5e554761138a13d8f8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GD4T6FOXM5MNJNC3UU3YAZU7MZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A distributed system for SearchOnMath based on the Microsoft BizSpark program","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.IR","authors_text":"Flavio B. Gonzaga, Geraldo B. Xex\\'eo, Ricardo M. Oliveira, Valmir C. Barbosa","submitted_at":"2017-11-11T20:12:42Z","abstract_excerpt":"Mathematical information retrieval is a relatively new area, so the first search tools capable of retrieving mathematical formulas began to appear only a few years ago. The proposals made public so far mostly implement searches on internal university databases, small sets of scientific papers, or Wikipedia in English. As such, only modest computing power is required. In this context, SearchOnMath has emerged as a pioneering tool in that it indexes several different databases and is compatible with several mathematical representation languages. Given the significantly greater number of formulas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.04189","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-18T00:07:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PYOCn5rwCjb2MgCD1s1IFK/305tm6IWWHzP/X6RmGQOGnP9PUjMyPflLsTLpFNnLxw0zpfW1tIhg57B8XINJDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T09:20:37.535917Z"},"content_sha256":"5b0fbe3210ef5d761295b5720c3db1238e063a07de4a79c1e3eeac730b3fb50a","schema_version":"1.0","event_id":"sha256:5b0fbe3210ef5d761295b5720c3db1238e063a07de4a79c1e3eeac730b3fb50a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GD4T6FOXM5MNJNC3UU3YAZU7MZ/bundle.json","state_url":"https://pith.science/pith/GD4T6FOXM5MNJNC3UU3YAZU7MZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GD4T6FOXM5MNJNC3UU3YAZU7MZ/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-22T09:20:37Z","links":{"resolver":"https://pith.science/pith/GD4T6FOXM5MNJNC3UU3YAZU7MZ","bundle":"https://pith.science/pith/GD4T6FOXM5MNJNC3UU3YAZU7MZ/bundle.json","state":"https://pith.science/pith/GD4T6FOXM5MNJNC3UU3YAZU7MZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GD4T6FOXM5MNJNC3UU3YAZU7MZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GD4T6FOXM5MNJNC3UU3YAZU7MZ","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":"df484f5c8e1fe6f043f51a0764f7e84e88a9f7ac511f5279e855d1840885d981","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IR","submitted_at":"2017-11-11T20:12:42Z","title_canon_sha256":"85aebcbe61a939eda9d64f4eb17ceaefae60f2424ad4b0692d33656217bf6d6e"},"schema_version":"1.0","source":{"id":"1711.04189","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.04189","created_at":"2026-05-18T00:07:18Z"},{"alias_kind":"arxiv_version","alias_value":"1711.04189v1","created_at":"2026-05-18T00:07:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.04189","created_at":"2026-05-18T00:07:18Z"},{"alias_kind":"pith_short_12","alias_value":"GD4T6FOXM5MN","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"GD4T6FOXM5MNJNC3","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"GD4T6FOX","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:5b0fbe3210ef5d761295b5720c3db1238e063a07de4a79c1e3eeac730b3fb50a","target":"graph","created_at":"2026-05-18T00:07:18Z","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":"Mathematical information retrieval is a relatively new area, so the first search tools capable of retrieving mathematical formulas began to appear only a few years ago. The proposals made public so far mostly implement searches on internal university databases, small sets of scientific papers, or Wikipedia in English. As such, only modest computing power is required. In this context, SearchOnMath has emerged as a pioneering tool in that it indexes several different databases and is compatible with several mathematical representation languages. Given the significantly greater number of formulas","authors_text":"Flavio B. Gonzaga, Geraldo B. Xex\\'eo, Ricardo M. Oliveira, Valmir C. Barbosa","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IR","submitted_at":"2017-11-11T20:12:42Z","title":"A distributed system for SearchOnMath based on the Microsoft BizSpark program"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.04189","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:41d7421d0770c1c794c5c181003d11924cec608844133f5e554761138a13d8f8","target":"record","created_at":"2026-05-18T00:07:18Z","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":"df484f5c8e1fe6f043f51a0764f7e84e88a9f7ac511f5279e855d1840885d981","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IR","submitted_at":"2017-11-11T20:12:42Z","title_canon_sha256":"85aebcbe61a939eda9d64f4eb17ceaefae60f2424ad4b0692d33656217bf6d6e"},"schema_version":"1.0","source":{"id":"1711.04189","kind":"arxiv","version":1}},"canonical_sha256":"30f93f15d76758d4b45ba53780669f6660f6706f4541d24cc692a9f45c5a29ff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"30f93f15d76758d4b45ba53780669f6660f6706f4541d24cc692a9f45c5a29ff","first_computed_at":"2026-05-18T00:07:18.259717Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:18.259717Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YZkZw8K/yOcEBSZVVJYk2SaIBOFBt7JFwvGAi93hRcZZgNNGPRfY6szR6rT6fn9xVzqlLb+spnmZwyf3l0BvDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:18.260392Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.04189","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:41d7421d0770c1c794c5c181003d11924cec608844133f5e554761138a13d8f8","sha256:5b0fbe3210ef5d761295b5720c3db1238e063a07de4a79c1e3eeac730b3fb50a"],"state_sha256":"b34e2a73912b6bd940af3aa9344c28630d34e0b8015deb81636efd3367129d3a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vc67C/JyNwPTTrs7jfRuS5sckkE0jsdQAosZylB/ottX+PNFb/sI8HT+b0iik7s7XyyI4/jqJMQdyjiZ/+lyCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T09:20:37.537898Z","bundle_sha256":"bf2e6ed31f4b19435eeb3d9106160059e8ef7d98ab3fa19111550d15f0c5c57f"}}