{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QMP2YZ6DG4LLCZIM5FWE6UWWID","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":"02a72981150293117ea9eded670f49fbb0f088ebac57d0fb300ceaa8e5442690","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SC","submitted_at":"2025-07-02T16:48:13Z","title_canon_sha256":"37486bf0051ef4aed88c520fd41722ac6a67eb1dd753b00b2b875f1cd14c42f2"},"schema_version":"1.0","source":{"id":"2507.01878","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.01878","created_at":"2026-07-05T11:31:29Z"},{"alias_kind":"arxiv_version","alias_value":"2507.01878v2","created_at":"2026-07-05T11:31:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.01878","created_at":"2026-07-05T11:31:29Z"},{"alias_kind":"pith_short_12","alias_value":"QMP2YZ6DG4LL","created_at":"2026-07-05T11:31:29Z"},{"alias_kind":"pith_short_16","alias_value":"QMP2YZ6DG4LLCZIM","created_at":"2026-07-05T11:31:29Z"},{"alias_kind":"pith_short_8","alias_value":"QMP2YZ6D","created_at":"2026-07-05T11:31:29Z"}],"graph_snapshots":[{"event_id":"sha256:24ce7aee71faff74fcb9e9d9a69a5f0e06906bfa7cfc249d7b899e95722f3efd","target":"graph","created_at":"2026-07-05T11:31:29Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2507.01878/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The integrability problem of rational first-order ODEs $y^{\\prime}=\\frac{M(x,y)}{N(x,y)}$, where $M,N \\in \\mathbb{R}[x,y]$ is a long-term research focus in the area of dynamical systems, physics, etc. Although the computer algebra system such as Mathematica, Maple has developed standard algorithms to tackle its first integral expressed by Liouvillian or special function, this problem is quite difficult and the general method requires specifying a tight degree bound for the Darboux polynomial. Computing the bounded degree first integral, in general, is very expensive for a computer algebra syst","authors_text":"Shaoxuan Huang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SC","submitted_at":"2025-07-02T16:48:13Z","title":"Generalized ODE reduction algorithm for bounded degree transformation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.01878","kind":"arxiv","version":2},"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:e2623a03e6482ca22b3ad2511f841e2290376765ef1f320ea778c8611d67233b","target":"record","created_at":"2026-07-05T11:31:29Z","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":"02a72981150293117ea9eded670f49fbb0f088ebac57d0fb300ceaa8e5442690","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SC","submitted_at":"2025-07-02T16:48:13Z","title_canon_sha256":"37486bf0051ef4aed88c520fd41722ac6a67eb1dd753b00b2b875f1cd14c42f2"},"schema_version":"1.0","source":{"id":"2507.01878","kind":"arxiv","version":2}},"canonical_sha256":"831fac67c33716b1650ce96c4f52d640c540d56a6746c3691b46652ed475562f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"831fac67c33716b1650ce96c4f52d640c540d56a6746c3691b46652ed475562f","first_computed_at":"2026-07-05T11:31:29.449215Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:31:29.449215Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ff3zQ3zSe7lgxB7xl7YUd/ngP7AhAQ25HkClPnHJC9l+il8awxMF3Ivz2xUVDubD6/cM3ZB58fRkSbkhItFIBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:31:29.449688Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.01878","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e2623a03e6482ca22b3ad2511f841e2290376765ef1f320ea778c8611d67233b","sha256:24ce7aee71faff74fcb9e9d9a69a5f0e06906bfa7cfc249d7b899e95722f3efd"],"state_sha256":"5c4a74830c91efe0bec466c460746b31d2e0ba111a375ae502471cdb605cc899"}