{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:7RSB2CCSXRRZB7FTNUFV7VUBRS","short_pith_number":"pith:7RSB2CCS","schema_version":"1.0","canonical_sha256":"fc641d0852bc6390fcb36d0b5fd6818cbf98c2cb485496105766ccb8ad7c6b19","source":{"kind":"arxiv","id":"1005.0749","version":1},"attestation_state":"computed","paper":{"title":"Integrating multiple sources to answer questions in Algebraic Topology","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.HC"],"primary_cat":"cs.SC","authors_text":"Ana Romero, Jonathan Heras, Julio Rubio, Vico Pascual","submitted_at":"2010-04-27T07:46:10Z","abstract_excerpt":"We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the interoperability among different sources for computation and deduction. The architecture allows the system not only to interface several systems, but also to make them cooperate in shared calculations."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1005.0749","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2010-04-27T07:46:10Z","cross_cats_sorted":["cs.AI","cs.HC"],"title_canon_sha256":"cad4625a0b3a250250df58bdc1e088322f06a907c2d1d2b0e446fe4e771fc5f3","abstract_canon_sha256":"9478388a000d90832a8c53a73579a89a391714562161daf5a1d7277f807b3114"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:56:58.459271Z","signature_b64":"0+u9DewQ370Oz/Onae2uAIMBaYbo4GrCuD4DE+M8O+DXV5iYaISwQ8rAUYWNxxxI5qlzRuIGwu8JG3WDjH7bCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc641d0852bc6390fcb36d0b5fd6818cbf98c2cb485496105766ccb8ad7c6b19","last_reissued_at":"2026-05-18T00:56:58.458742Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:56:58.458742Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Integrating multiple sources to answer questions in Algebraic Topology","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.HC"],"primary_cat":"cs.SC","authors_text":"Ana Romero, Jonathan Heras, Julio Rubio, Vico Pascual","submitted_at":"2010-04-27T07:46:10Z","abstract_excerpt":"We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the interoperability among different sources for computation and deduction. The architecture allows the system not only to interface several systems, but also to make them cooperate in shared calculations."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1005.0749","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1005.0749","created_at":"2026-05-18T00:56:58.458815+00:00"},{"alias_kind":"arxiv_version","alias_value":"1005.0749v1","created_at":"2026-05-18T00:56:58.458815+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1005.0749","created_at":"2026-05-18T00:56:58.458815+00:00"},{"alias_kind":"pith_short_12","alias_value":"7RSB2CCSXRRZ","created_at":"2026-05-18T12:26:05.355336+00:00"},{"alias_kind":"pith_short_16","alias_value":"7RSB2CCSXRRZB7FT","created_at":"2026-05-18T12:26:05.355336+00:00"},{"alias_kind":"pith_short_8","alias_value":"7RSB2CCS","created_at":"2026-05-18T12:26:05.355336+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2412.16177","citing_title":"Mining Math Conjectures from LLMs: A Pruning Approach","ref_index":19,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7RSB2CCSXRRZB7FTNUFV7VUBRS","json":"https://pith.science/pith/7RSB2CCSXRRZB7FTNUFV7VUBRS.json","graph_json":"https://pith.science/api/pith-number/7RSB2CCSXRRZB7FTNUFV7VUBRS/graph.json","events_json":"https://pith.science/api/pith-number/7RSB2CCSXRRZB7FTNUFV7VUBRS/events.json","paper":"https://pith.science/paper/7RSB2CCS"},"agent_actions":{"view_html":"https://pith.science/pith/7RSB2CCSXRRZB7FTNUFV7VUBRS","download_json":"https://pith.science/pith/7RSB2CCSXRRZB7FTNUFV7VUBRS.json","view_paper":"https://pith.science/paper/7RSB2CCS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1005.0749&json=true","fetch_graph":"https://pith.science/api/pith-number/7RSB2CCSXRRZB7FTNUFV7VUBRS/graph.json","fetch_events":"https://pith.science/api/pith-number/7RSB2CCSXRRZB7FTNUFV7VUBRS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7RSB2CCSXRRZB7FTNUFV7VUBRS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7RSB2CCSXRRZB7FTNUFV7VUBRS/action/storage_attestation","attest_author":"https://pith.science/pith/7RSB2CCSXRRZB7FTNUFV7VUBRS/action/author_attestation","sign_citation":"https://pith.science/pith/7RSB2CCSXRRZB7FTNUFV7VUBRS/action/citation_signature","submit_replication":"https://pith.science/pith/7RSB2CCSXRRZB7FTNUFV7VUBRS/action/replication_record"}},"created_at":"2026-05-18T00:56:58.458815+00:00","updated_at":"2026-05-18T00:56:58.458815+00:00"}