{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:5YIMSRBSPSEQ3H5YW6BSUQT67L","short_pith_number":"pith:5YIMSRBS","canonical_record":{"source":{"id":"1310.2778","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-10-10T11:39:24Z","cross_cats_sorted":["cs.DS","math.CA","nlin.SI"],"title_canon_sha256":"40d716ff2e73de106aaa1e230f24ceffcc0b44ce6eeed1b1d19a7a589287dcdb","abstract_canon_sha256":"e30b7de1392684587ddcfb8fe526911e60761546d8d07c78d8e40de40cef05af"},"schema_version":"1.0"},"canonical_sha256":"ee10c944327c890d9fb8b7832a427efac4d579260dd07a188d35450719da32e4","source":{"kind":"arxiv","id":"1310.2778","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.2778","created_at":"2026-05-18T03:10:46Z"},{"alias_kind":"arxiv_version","alias_value":"1310.2778v1","created_at":"2026-05-18T03:10:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.2778","created_at":"2026-05-18T03:10:46Z"},{"alias_kind":"pith_short_12","alias_value":"5YIMSRBSPSEQ","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"5YIMSRBSPSEQ3H5Y","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"5YIMSRBS","created_at":"2026-05-18T12:27:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:5YIMSRBSPSEQ3H5YW6BSUQT67L","target":"record","payload":{"canonical_record":{"source":{"id":"1310.2778","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-10-10T11:39:24Z","cross_cats_sorted":["cs.DS","math.CA","nlin.SI"],"title_canon_sha256":"40d716ff2e73de106aaa1e230f24ceffcc0b44ce6eeed1b1d19a7a589287dcdb","abstract_canon_sha256":"e30b7de1392684587ddcfb8fe526911e60761546d8d07c78d8e40de40cef05af"},"schema_version":"1.0"},"canonical_sha256":"ee10c944327c890d9fb8b7832a427efac4d579260dd07a188d35450719da32e4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:10:46.726270Z","signature_b64":"7yD0ieJr09E9oYFZnSLG+9CX0gl7UGbe8K/2MzXajqzUREDW5NGSRAARdESUcGxSLkZpYCYJhrR6Tmfjl75AAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee10c944327c890d9fb8b7832a427efac4d579260dd07a188d35450719da32e4","last_reissued_at":"2026-05-18T03:10:46.725689Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:10:46.725689Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.2778","source_version":1,"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-18T03:10:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b+hjB4o6ydOxXBIQgyllFjwrwVHfBxYWFu8xsXfUR5Bxq6TpPfoDBDFpY1a1hCvafAuNhdIqE97DiZnEnslBDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T22:41:05.785664Z"},"content_sha256":"5898d1d44700ec9f981065aedf431d77737f0003e9f7fad30c494a573140c77f","schema_version":"1.0","event_id":"sha256:5898d1d44700ec9f981065aedf431d77737f0003e9f7fad30c494a573140c77f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:5YIMSRBSPSEQ3H5YW6BSUQT67L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS","math.CA","nlin.SI"],"primary_cat":"cs.SC","authors_text":"Alin Bostan (INRIA Saclay - Ile de France, Guillaume Ch\\`eze (IMT), Jacques-Arthur Weil (XLIM), MSR - INRIA), Thomas Cluzeau (XLIM)","submitted_at":"2013-10-10T11:39:24Z","abstract_excerpt":"We present fast algorithms for computing rational first integrals with bounded degree of a planar polynomial vector field. Our approach is inspired by an idea of Ferragut and Giacomini. We improve upon their work by proving that rational first integrals can be computed via systems of linear equations instead of systems of quadratic equations. This leads to a probabilistic algorithm with arithmetic complexity $\\bigOsoft(N^{2 \\omega})$ and to a deterministic algorithm solving the problem in $\\bigOsoft(d^2N^{2 \\omega+1})$ arithmetic operations, where $N$ denotes the given bound for the degree of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.2778","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"},"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-18T03:10:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P/7ui4HHIsDp6KIR8YzJN21kzXqcEY4Bhby+KzIqZlilroJYIGzP0uCUFv1UEE4Qpxu/25eKEQ77hAk6zJPODg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T22:41:05.786007Z"},"content_sha256":"b45b06dd4c329d7ed33444b948f59eb42db736fd9749c4945f2610827d76eecd","schema_version":"1.0","event_id":"sha256:b45b06dd4c329d7ed33444b948f59eb42db736fd9749c4945f2610827d76eecd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5YIMSRBSPSEQ3H5YW6BSUQT67L/bundle.json","state_url":"https://pith.science/pith/5YIMSRBSPSEQ3H5YW6BSUQT67L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5YIMSRBSPSEQ3H5YW6BSUQT67L/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-08T22:41:05Z","links":{"resolver":"https://pith.science/pith/5YIMSRBSPSEQ3H5YW6BSUQT67L","bundle":"https://pith.science/pith/5YIMSRBSPSEQ3H5YW6BSUQT67L/bundle.json","state":"https://pith.science/pith/5YIMSRBSPSEQ3H5YW6BSUQT67L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5YIMSRBSPSEQ3H5YW6BSUQT67L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:5YIMSRBSPSEQ3H5YW6BSUQT67L","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":"e30b7de1392684587ddcfb8fe526911e60761546d8d07c78d8e40de40cef05af","cross_cats_sorted":["cs.DS","math.CA","nlin.SI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-10-10T11:39:24Z","title_canon_sha256":"40d716ff2e73de106aaa1e230f24ceffcc0b44ce6eeed1b1d19a7a589287dcdb"},"schema_version":"1.0","source":{"id":"1310.2778","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.2778","created_at":"2026-05-18T03:10:46Z"},{"alias_kind":"arxiv_version","alias_value":"1310.2778v1","created_at":"2026-05-18T03:10:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.2778","created_at":"2026-05-18T03:10:46Z"},{"alias_kind":"pith_short_12","alias_value":"5YIMSRBSPSEQ","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"5YIMSRBSPSEQ3H5Y","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"5YIMSRBS","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:b45b06dd4c329d7ed33444b948f59eb42db736fd9749c4945f2610827d76eecd","target":"graph","created_at":"2026-05-18T03:10:46Z","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":"We present fast algorithms for computing rational first integrals with bounded degree of a planar polynomial vector field. Our approach is inspired by an idea of Ferragut and Giacomini. We improve upon their work by proving that rational first integrals can be computed via systems of linear equations instead of systems of quadratic equations. This leads to a probabilistic algorithm with arithmetic complexity $\\bigOsoft(N^{2 \\omega})$ and to a deterministic algorithm solving the problem in $\\bigOsoft(d^2N^{2 \\omega+1})$ arithmetic operations, where $N$ denotes the given bound for the degree of ","authors_text":"Alin Bostan (INRIA Saclay - Ile de France, Guillaume Ch\\`eze (IMT), Jacques-Arthur Weil (XLIM), MSR - INRIA), Thomas Cluzeau (XLIM)","cross_cats":["cs.DS","math.CA","nlin.SI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-10-10T11:39:24Z","title":"Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.2778","kind":"arxiv","version":1},"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:5898d1d44700ec9f981065aedf431d77737f0003e9f7fad30c494a573140c77f","target":"record","created_at":"2026-05-18T03:10:46Z","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":"e30b7de1392684587ddcfb8fe526911e60761546d8d07c78d8e40de40cef05af","cross_cats_sorted":["cs.DS","math.CA","nlin.SI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-10-10T11:39:24Z","title_canon_sha256":"40d716ff2e73de106aaa1e230f24ceffcc0b44ce6eeed1b1d19a7a589287dcdb"},"schema_version":"1.0","source":{"id":"1310.2778","kind":"arxiv","version":1}},"canonical_sha256":"ee10c944327c890d9fb8b7832a427efac4d579260dd07a188d35450719da32e4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ee10c944327c890d9fb8b7832a427efac4d579260dd07a188d35450719da32e4","first_computed_at":"2026-05-18T03:10:46.725689Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:10:46.725689Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7yD0ieJr09E9oYFZnSLG+9CX0gl7UGbe8K/2MzXajqzUREDW5NGSRAARdESUcGxSLkZpYCYJhrR6Tmfjl75AAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:10:46.726270Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.2778","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5898d1d44700ec9f981065aedf431d77737f0003e9f7fad30c494a573140c77f","sha256:b45b06dd4c329d7ed33444b948f59eb42db736fd9749c4945f2610827d76eecd"],"state_sha256":"7123bbed00078d55621a88144fe155626fd2777f8881a1c4a3e9f980cfe5dde2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iTtbZOp/43y95ujSV7iE+tk9ijVoFK+pIv3eui/p/g9wwBXvTaXc7HipsN0/ulmVAelHwMR+mHa1O91O7TMSDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T22:41:05.788323Z","bundle_sha256":"82aefd396bdd730d82b6bce15f4c95ea39bc8a32bfecf92032c5309bd6ee30d4"}}