{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:MQUT7332FXL3PLODVBDSJOYONF","short_pith_number":"pith:MQUT7332","schema_version":"1.0","canonical_sha256":"64293fef7a2dd7b7adc3a84724bb0e697d0f7f347e9b24519a7f00c7230b5e19","source":{"kind":"arxiv","id":"1609.07972","version":1},"attestation_state":"computed","paper":{"title":"A Framework for Algebraic Characterizations in Recursive Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Emmanuel Hainry, Olivier Bournez, Walid Gomaa","submitted_at":"2016-09-26T13:54:45Z","abstract_excerpt":"Algebraic characterizations of the computational aspects of functions defined over the real numbers provide very effective tool to understand what computability and complexity over the reals, and generally over continuous spaces, mean. This is relevant for both communities of computer scientists and mathematical analysts, particularly the latter who do not understand (and/or like) the language of machines and string encodings. Recursive analysis can be considered the most standard framework of computation over continuous spaces, it is however defined in a very machine specific way which does n"},"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":"1609.07972","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-26T13:54:45Z","cross_cats_sorted":[],"title_canon_sha256":"5200a8b7ab72c7fa8ce0c44938a31701efc5f42c146d98f9a3215f8ec5f0b516","abstract_canon_sha256":"6d6fdb75e5424f2a436fb40b102a506172344ed5f115a08582b42f8f85e0bcaf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:03:54.791512Z","signature_b64":"dWno4neSggwCo0tls/U2DyfzwkosSbpB9T9EWpv/MMSGkDzvrlWoi5X7He7SfJ7heEi7n4+BYJql5c/c11ejBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"64293fef7a2dd7b7adc3a84724bb0e697d0f7f347e9b24519a7f00c7230b5e19","last_reissued_at":"2026-05-18T01:03:54.790827Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:03:54.790827Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Framework for Algebraic Characterizations in Recursive Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Emmanuel Hainry, Olivier Bournez, Walid Gomaa","submitted_at":"2016-09-26T13:54:45Z","abstract_excerpt":"Algebraic characterizations of the computational aspects of functions defined over the real numbers provide very effective tool to understand what computability and complexity over the reals, and generally over continuous spaces, mean. This is relevant for both communities of computer scientists and mathematical analysts, particularly the latter who do not understand (and/or like) the language of machines and string encodings. Recursive analysis can be considered the most standard framework of computation over continuous spaces, it is however defined in a very machine specific way which does n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.07972","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":"1609.07972","created_at":"2026-05-18T01:03:54.790948+00:00"},{"alias_kind":"arxiv_version","alias_value":"1609.07972v1","created_at":"2026-05-18T01:03:54.790948+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.07972","created_at":"2026-05-18T01:03:54.790948+00:00"},{"alias_kind":"pith_short_12","alias_value":"MQUT7332FXL3","created_at":"2026-05-18T12:30:32.724797+00:00"},{"alias_kind":"pith_short_16","alias_value":"MQUT7332FXL3PLOD","created_at":"2026-05-18T12:30:32.724797+00:00"},{"alias_kind":"pith_short_8","alias_value":"MQUT7332","created_at":"2026-05-18T12:30:32.724797+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MQUT7332FXL3PLODVBDSJOYONF","json":"https://pith.science/pith/MQUT7332FXL3PLODVBDSJOYONF.json","graph_json":"https://pith.science/api/pith-number/MQUT7332FXL3PLODVBDSJOYONF/graph.json","events_json":"https://pith.science/api/pith-number/MQUT7332FXL3PLODVBDSJOYONF/events.json","paper":"https://pith.science/paper/MQUT7332"},"agent_actions":{"view_html":"https://pith.science/pith/MQUT7332FXL3PLODVBDSJOYONF","download_json":"https://pith.science/pith/MQUT7332FXL3PLODVBDSJOYONF.json","view_paper":"https://pith.science/paper/MQUT7332","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1609.07972&json=true","fetch_graph":"https://pith.science/api/pith-number/MQUT7332FXL3PLODVBDSJOYONF/graph.json","fetch_events":"https://pith.science/api/pith-number/MQUT7332FXL3PLODVBDSJOYONF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MQUT7332FXL3PLODVBDSJOYONF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MQUT7332FXL3PLODVBDSJOYONF/action/storage_attestation","attest_author":"https://pith.science/pith/MQUT7332FXL3PLODVBDSJOYONF/action/author_attestation","sign_citation":"https://pith.science/pith/MQUT7332FXL3PLODVBDSJOYONF/action/citation_signature","submit_replication":"https://pith.science/pith/MQUT7332FXL3PLODVBDSJOYONF/action/replication_record"}},"created_at":"2026-05-18T01:03:54.790948+00:00","updated_at":"2026-05-18T01:03:54.790948+00:00"}