{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:ERLMOGGZ75WG7F56R2AXUTASU4","short_pith_number":"pith:ERLMOGGZ","canonical_record":{"source":{"id":"1601.05683","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-01-21T15:47:59Z","cross_cats_sorted":[],"title_canon_sha256":"fdacf91f124f179e55bb316a2c12ff070f94a90517312da46e5dd3e052a84452","abstract_canon_sha256":"72981bba48c912038eeb4528b2ea5489a95075152bb1cf887deec49451330b6e"},"schema_version":"1.0"},"canonical_sha256":"2456c718d9ff6c6f97be8e817a4c12a73f8f36873854bb29d69e073c02927020","source":{"kind":"arxiv","id":"1601.05683","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.05683","created_at":"2026-05-18T00:52:41Z"},{"alias_kind":"arxiv_version","alias_value":"1601.05683v3","created_at":"2026-05-18T00:52:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.05683","created_at":"2026-05-18T00:52:41Z"},{"alias_kind":"pith_short_12","alias_value":"ERLMOGGZ75WG","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"ERLMOGGZ75WG7F56","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"ERLMOGGZ","created_at":"2026-05-18T12:30:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:ERLMOGGZ75WG7F56R2AXUTASU4","target":"record","payload":{"canonical_record":{"source":{"id":"1601.05683","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-01-21T15:47:59Z","cross_cats_sorted":[],"title_canon_sha256":"fdacf91f124f179e55bb316a2c12ff070f94a90517312da46e5dd3e052a84452","abstract_canon_sha256":"72981bba48c912038eeb4528b2ea5489a95075152bb1cf887deec49451330b6e"},"schema_version":"1.0"},"canonical_sha256":"2456c718d9ff6c6f97be8e817a4c12a73f8f36873854bb29d69e073c02927020","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:52:41.910302Z","signature_b64":"JrtDYm1PitC8k7oK8c3M9xniuQb9ArbCxl7uued/jMOrBG8Bo9QRYJjRtS9qW/oPqM2e5zuDPBKXybAIFBCqCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2456c718d9ff6c6f97be8e817a4c12a73f8f36873854bb29d69e073c02927020","last_reissued_at":"2026-05-18T00:52:41.909660Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:52:41.909660Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1601.05683","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-18T00:52:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gtIxTKYR5wAgxTmty9/wX9v24UgdKGMUGs92SiUaPNgR6AFQbntbQ2Da9gDO30X7323xQkgYpwgJybNPbVcNAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:21:18.263913Z"},"content_sha256":"3b146bb60cd83ae28c4b454070fec4181e8930cc28b4f7d7fec9a9a7c3b737ff","schema_version":"1.0","event_id":"sha256:3b146bb60cd83ae28c4b454070fec4181e8930cc28b4f7d7fec9a9a7c3b737ff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:ERLMOGGZ75WG7F56R2AXUTASU4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computing with Polynomial Ordinary Differential Equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Amaury Pouly, Daniel Gra\\c{c}a, Olivier Bournez","submitted_at":"2016-01-21T15:47:59Z","abstract_excerpt":"In 1941, Claude Shannon introduced the General Purpose Analog Computer(GPAC) as a mathematical model of Differential Analysers, that is to say as a model of continuous-time analog (mechanical, and later one electronic) machines of that time.\n  Following Shannon's arguments, functions generated by GPACs must be differentially algebraic. As it is known that some computable functions like Euler's $\\Gamma(x)=\\int_{0}^{\\infty}t^{x-1}e^{-t}dt$ or Riemann's Zeta function $\\zeta(x)=\\sum_{k=0}^\\infty \\frac1{k^x}$ are not differentially algebraic, this argument has been often used to demonstrate in the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.05683","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-18T00:52:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"urqpjqAYlbU4U9DB0+5MLpCd7Z8J1rNZXXQvx7wIWvqb0NlGhv+T/L9+3z2oXIcFLAUuwdngnhtOCR7OR0gyCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:21:18.264279Z"},"content_sha256":"6bdd9bc75a25ec8215f8c0027fdc3064e9cad50a7766fe9c98b31e4ec717ebb7","schema_version":"1.0","event_id":"sha256:6bdd9bc75a25ec8215f8c0027fdc3064e9cad50a7766fe9c98b31e4ec717ebb7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ERLMOGGZ75WG7F56R2AXUTASU4/bundle.json","state_url":"https://pith.science/pith/ERLMOGGZ75WG7F56R2AXUTASU4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ERLMOGGZ75WG7F56R2AXUTASU4/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-03T07:21:18Z","links":{"resolver":"https://pith.science/pith/ERLMOGGZ75WG7F56R2AXUTASU4","bundle":"https://pith.science/pith/ERLMOGGZ75WG7F56R2AXUTASU4/bundle.json","state":"https://pith.science/pith/ERLMOGGZ75WG7F56R2AXUTASU4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ERLMOGGZ75WG7F56R2AXUTASU4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:ERLMOGGZ75WG7F56R2AXUTASU4","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":"72981bba48c912038eeb4528b2ea5489a95075152bb1cf887deec49451330b6e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-01-21T15:47:59Z","title_canon_sha256":"fdacf91f124f179e55bb316a2c12ff070f94a90517312da46e5dd3e052a84452"},"schema_version":"1.0","source":{"id":"1601.05683","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.05683","created_at":"2026-05-18T00:52:41Z"},{"alias_kind":"arxiv_version","alias_value":"1601.05683v3","created_at":"2026-05-18T00:52:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.05683","created_at":"2026-05-18T00:52:41Z"},{"alias_kind":"pith_short_12","alias_value":"ERLMOGGZ75WG","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"ERLMOGGZ75WG7F56","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"ERLMOGGZ","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:6bdd9bc75a25ec8215f8c0027fdc3064e9cad50a7766fe9c98b31e4ec717ebb7","target":"graph","created_at":"2026-05-18T00:52:41Z","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 1941, Claude Shannon introduced the General Purpose Analog Computer(GPAC) as a mathematical model of Differential Analysers, that is to say as a model of continuous-time analog (mechanical, and later one electronic) machines of that time.\n  Following Shannon's arguments, functions generated by GPACs must be differentially algebraic. As it is known that some computable functions like Euler's $\\Gamma(x)=\\int_{0}^{\\infty}t^{x-1}e^{-t}dt$ or Riemann's Zeta function $\\zeta(x)=\\sum_{k=0}^\\infty \\frac1{k^x}$ are not differentially algebraic, this argument has been often used to demonstrate in the ","authors_text":"Amaury Pouly, Daniel Gra\\c{c}a, Olivier Bournez","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-01-21T15:47:59Z","title":"Computing with Polynomial Ordinary Differential Equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.05683","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:3b146bb60cd83ae28c4b454070fec4181e8930cc28b4f7d7fec9a9a7c3b737ff","target":"record","created_at":"2026-05-18T00:52:41Z","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":"72981bba48c912038eeb4528b2ea5489a95075152bb1cf887deec49451330b6e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-01-21T15:47:59Z","title_canon_sha256":"fdacf91f124f179e55bb316a2c12ff070f94a90517312da46e5dd3e052a84452"},"schema_version":"1.0","source":{"id":"1601.05683","kind":"arxiv","version":3}},"canonical_sha256":"2456c718d9ff6c6f97be8e817a4c12a73f8f36873854bb29d69e073c02927020","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2456c718d9ff6c6f97be8e817a4c12a73f8f36873854bb29d69e073c02927020","first_computed_at":"2026-05-18T00:52:41.909660Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:52:41.909660Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JrtDYm1PitC8k7oK8c3M9xniuQb9ArbCxl7uued/jMOrBG8Bo9QRYJjRtS9qW/oPqM2e5zuDPBKXybAIFBCqCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:52:41.910302Z","signed_message":"canonical_sha256_bytes"},"source_id":"1601.05683","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b146bb60cd83ae28c4b454070fec4181e8930cc28b4f7d7fec9a9a7c3b737ff","sha256:6bdd9bc75a25ec8215f8c0027fdc3064e9cad50a7766fe9c98b31e4ec717ebb7"],"state_sha256":"807eee1afcb7ee0de01fdd0377ce04ddbd71297d34b42abe70d2cc41d97fc6a7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zRUwRUiiTZEfgIZIXOSTl0b3Dbvfbnjx6FgmInBlmkeTS/fopU/oTBpu44EQ5a92iMFpwKT2EPi7a9DPY7R8Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T07:21:18.266234Z","bundle_sha256":"abe4a97f82e7f62948e87125b7c880421e001a4e4f8c7983e9b592540739d076"}}