{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:3GMY45IOZ27DMSCSMPEAQOYQ4Y","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":"ca7c6c80ee632c85671b1b769aed2ba965643fc62cd44f60b9ef338a6fcdaeab","cross_cats_sorted":["cs.CC","math.CA","math.DS","nlin.SI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-10-23T12:13:37Z","title_canon_sha256":"f498a17ee35fe0771c79565deb5b0060ea36dadb3670150549a1d53095fe58d6"},"schema_version":"1.0","source":{"id":"1710.08225","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.08225","created_at":"2026-05-17T23:57:59Z"},{"alias_kind":"arxiv_version","alias_value":"1710.08225v2","created_at":"2026-05-17T23:57:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.08225","created_at":"2026-05-17T23:57:59Z"},{"alias_kind":"pith_short_12","alias_value":"3GMY45IOZ27D","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3GMY45IOZ27DMSCS","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3GMY45IO","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:b1ba334bc75192e1b2762de566842d4ed28bd3202e431d6ba8f21137998f2b8e","target":"graph","created_at":"2026-05-17T23:57:59Z","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 this article we show how to generalize to the Darbouxian, Liouvillian and Riccati case the extactic curve introduced by J. Pereira. With this approach, we get new algorithms for computing, if it exists, a rational, Darbouxian, Liouvillian or Riccati first integral with bounded degree of a polynomial planar vector field. We give probabilistic and  deterministic algorithms. The arithmetic complexity of our probabilistic algorithm is in $\\tilde{\\mathcal{O}}(N^{\\omega+1})$, where $N$ is the bound on the degree of a representation of the first integral and $\\omega \\in [2;3]$ is the exponent of l","authors_text":"Guillaume Ch\\`eze (IMT), Thierry Combot (IMB)","cross_cats":["cs.CC","math.CA","math.DS","nlin.SI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-10-23T12:13:37Z","title":"Symbolic Computations of First Integrals for Polynomial Vector Fields"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.08225","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:abb44c573b157452c6ccc13adde61bbec106af280c4e89f760e497fd07f43d62","target":"record","created_at":"2026-05-17T23:57:59Z","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":"ca7c6c80ee632c85671b1b769aed2ba965643fc62cd44f60b9ef338a6fcdaeab","cross_cats_sorted":["cs.CC","math.CA","math.DS","nlin.SI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-10-23T12:13:37Z","title_canon_sha256":"f498a17ee35fe0771c79565deb5b0060ea36dadb3670150549a1d53095fe58d6"},"schema_version":"1.0","source":{"id":"1710.08225","kind":"arxiv","version":2}},"canonical_sha256":"d9998e750ecebe36485263c8083b10e62dbcd71398ed9322b018b200a48d23a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d9998e750ecebe36485263c8083b10e62dbcd71398ed9322b018b200a48d23a7","first_computed_at":"2026-05-17T23:57:59.704243Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:57:59.704243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qoZK8bAqtarqGktY+5lfP1g6d4bNIbgX6HsfiJj13sGOpEViV3K2xJhK8HrG7ZZQYxDJHoGl2zpqX+3RG4hgDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:57:59.704821Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.08225","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:abb44c573b157452c6ccc13adde61bbec106af280c4e89f760e497fd07f43d62","sha256:b1ba334bc75192e1b2762de566842d4ed28bd3202e431d6ba8f21137998f2b8e"],"state_sha256":"bfe76ea93e9d0bb2a61515b7c87c3c01e1049d65d92f281139c4875b63c74461"}