{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:WGJONUOO24MH2QV2NCSPLIJXZ7","short_pith_number":"pith:WGJONUOO","schema_version":"1.0","canonical_sha256":"b192e6d1ced7187d42ba68a4f5a137cfdf55bf99a353c88546e7ef44622a266c","source":{"kind":"arxiv","id":"1706.10107","version":2},"attestation_state":"computed","paper":{"title":"Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"J.D. Mireles James, Shane Kepley, William D. Kalies","submitted_at":"2017-06-30T10:34:15Z","abstract_excerpt":"We develop a validated numerical procedure for continuation of local stable/unstable manifold patches attached to equilibrium solutions of ordinary differential equations. The procedure has two steps. First we compute an accurate high order Taylor expansion of the local invariant manifold. This expansion is valid in some neighborhood of the equilibrium. An important component of our method is that we obtain mathematically rigorous lower bounds on the size of this neighborhood, as well as validated a-posteriori error bounds for the polynomial approximation. In the second step we use a rigorous "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1706.10107","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2017-06-30T10:34:15Z","cross_cats_sorted":[],"title_canon_sha256":"e101498d2d8d984ff31078c78a9e9cf8cc2f414463cbaef84ec9f95ba5f8192e","abstract_canon_sha256":"a3c6cd9f32030b4775ac1c10bb59b913b8552a2660d294c4d47bccf38830fe5f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:16.653130Z","signature_b64":"8kdhxo9C7C6MXx/2E6NrFSWHpesr3VBIl+hiBDZEI/nioXJwUt1QHsPxe2kcwr64iVgfhaC7r9uiqofAZxptAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b192e6d1ced7187d42ba68a4f5a137cfdf55bf99a353c88546e7ef44622a266c","last_reissued_at":"2026-05-18T00:30:16.652385Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:16.652385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"J.D. Mireles James, Shane Kepley, William D. Kalies","submitted_at":"2017-06-30T10:34:15Z","abstract_excerpt":"We develop a validated numerical procedure for continuation of local stable/unstable manifold patches attached to equilibrium solutions of ordinary differential equations. The procedure has two steps. First we compute an accurate high order Taylor expansion of the local invariant manifold. This expansion is valid in some neighborhood of the equilibrium. An important component of our method is that we obtain mathematically rigorous lower bounds on the size of this neighborhood, as well as validated a-posteriori error bounds for the polynomial approximation. In the second step we use a rigorous "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.10107","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1706.10107","created_at":"2026-05-18T00:30:16.652513+00:00"},{"alias_kind":"arxiv_version","alias_value":"1706.10107v2","created_at":"2026-05-18T00:30:16.652513+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.10107","created_at":"2026-05-18T00:30:16.652513+00:00"},{"alias_kind":"pith_short_12","alias_value":"WGJONUOO24MH","created_at":"2026-05-18T12:31:53.515858+00:00"},{"alias_kind":"pith_short_16","alias_value":"WGJONUOO24MH2QV2","created_at":"2026-05-18T12:31:53.515858+00:00"},{"alias_kind":"pith_short_8","alias_value":"WGJONUOO","created_at":"2026-05-18T12:31:53.515858+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7","json":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7.json","graph_json":"https://pith.science/api/pith-number/WGJONUOO24MH2QV2NCSPLIJXZ7/graph.json","events_json":"https://pith.science/api/pith-number/WGJONUOO24MH2QV2NCSPLIJXZ7/events.json","paper":"https://pith.science/paper/WGJONUOO"},"agent_actions":{"view_html":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7","download_json":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7.json","view_paper":"https://pith.science/paper/WGJONUOO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1706.10107&json=true","fetch_graph":"https://pith.science/api/pith-number/WGJONUOO24MH2QV2NCSPLIJXZ7/graph.json","fetch_events":"https://pith.science/api/pith-number/WGJONUOO24MH2QV2NCSPLIJXZ7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7/action/storage_attestation","attest_author":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7/action/author_attestation","sign_citation":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7/action/citation_signature","submit_replication":"https://pith.science/pith/WGJONUOO24MH2QV2NCSPLIJXZ7/action/replication_record"}},"created_at":"2026-05-18T00:30:16.652513+00:00","updated_at":"2026-05-18T00:30:16.652513+00:00"}