{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:24EPVITDGM6POV5ENJDFEDOQAO","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":"eeb46928e86cd3f7530d06bb14327727a69a3c90fd6999ea201f1b116febd4b2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2011-09-13T07:30:53Z","title_canon_sha256":"ee495b79f633746b9a9828aadb0876b3c8c47e8d25732d99e02e077b5bb07d1b"},"schema_version":"1.0","source":{"id":"1109.2688","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.2688","created_at":"2026-05-18T03:38:23Z"},{"alias_kind":"arxiv_version","alias_value":"1109.2688v2","created_at":"2026-05-18T03:38:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.2688","created_at":"2026-05-18T03:38:23Z"},{"alias_kind":"pith_short_12","alias_value":"24EPVITDGM6P","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"24EPVITDGM6POV5E","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"24EPVITD","created_at":"2026-05-18T12:26:18Z"}],"graph_snapshots":[{"event_id":"sha256:d85594d276af16805e5efeb15fcb21958cde45cc382997ca22d2e59c1169f34c","target":"graph","created_at":"2026-05-18T03:38:23Z","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 consider systems of recursively defined combinatorial structures. We give algorithms checking that these systems are well founded, computing generating series and providing numerical values. Our framework is an articulation of the constructible classes of Flajolet and Sedgewick with Joyal's species theory. We extend the implicit species theorem to structures of size zero. A quadratic iterative Newton method is shown to solve well-founded systems combinatorially. From there, truncations of the corresponding generating series are obtained in quasi-optimal complexity. This iteration transfers ","authors_text":"Bruno Salvy (INRIA Rocquencourt), Carine Pivoteau (LIGM), Michele Soria (LIP6)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2011-09-13T07:30:53Z","title":"Algorithms for Combinatorial Systems: Well-Founded Systems and Newton Iterations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.2688","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:532085765358da8c62d8e02a27156ee2ecd59c2cb7d37d782c4d951cf5fb0484","target":"record","created_at":"2026-05-18T03:38:23Z","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":"eeb46928e86cd3f7530d06bb14327727a69a3c90fd6999ea201f1b116febd4b2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2011-09-13T07:30:53Z","title_canon_sha256":"ee495b79f633746b9a9828aadb0876b3c8c47e8d25732d99e02e077b5bb07d1b"},"schema_version":"1.0","source":{"id":"1109.2688","kind":"arxiv","version":2}},"canonical_sha256":"d708faa263333cf757a46a46520dd0038d60e658a4bd9fa6883f6e1887462de4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d708faa263333cf757a46a46520dd0038d60e658a4bd9fa6883f6e1887462de4","first_computed_at":"2026-05-18T03:38:23.857105Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:38:23.857105Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hLGS/1I6TQde9zjY0h82zlgDeEXYls3QWt7SNh5sGYkDH20jI3MWeYbsAr16zNXdI4tsPg9TDnN0wsR9ScpSCA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:38:23.857615Z","signed_message":"canonical_sha256_bytes"},"source_id":"1109.2688","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:532085765358da8c62d8e02a27156ee2ecd59c2cb7d37d782c4d951cf5fb0484","sha256:d85594d276af16805e5efeb15fcb21958cde45cc382997ca22d2e59c1169f34c"],"state_sha256":"7754823ef49bca3b4e38a02f1682a561cddb0685ecc26b115b8a266efffb810a"}