{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:ZHW75G4PKLD6THN33WFT6LH5YD","short_pith_number":"pith:ZHW75G4P","schema_version":"1.0","canonical_sha256":"c9edfe9b8f52c7e99dbbdd8b3f2cfdc0e36eacb00b7e00e4269cea26881e846c","source":{"kind":"arxiv","id":"1605.01086","version":1},"attestation_state":"computed","paper":{"title":"A Framework for the Numerical Computation and a Posteriori Verification of Invariant Objects of Evolution Equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AP"],"primary_cat":"math.DS","authors_text":"Jean Philippe Lessard, Jordi-Llu\\'is Figueras, Marcio Gameiro, Rafael de la Llave","submitted_at":"2016-05-03T20:51:08Z","abstract_excerpt":"We develop a theoretical framework for computer-assisted proofs of the existence of invariant objects in semilinear PDEs. The invariant objects considered in this paper are equilibrium points, traveling waves, periodic orbits and invariant manifolds attached to fixed points or periodic orbits. The core of the study is writing down the invariance condition as a zero of an operator. These operators are in general not continuous, so one needs to smooth them by means of preconditioners before classical fixed point theorems can be applied. We develop in detail all the aspects of how to work with th"},"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":"1605.01086","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-05-03T20:51:08Z","cross_cats_sorted":["math.AP"],"title_canon_sha256":"a1e67632457ef0353f84203081c352eb10450255a8044c5aa1f7f110ba0d8a16","abstract_canon_sha256":"2c9676cfc4647c75cf88e03b6342138f6955147d63a1194f8f4b17cd19ef8e52"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:15:37.925135Z","signature_b64":"X4PZ7G8cdG3hkiuM4WJIxIZGAXVVqRIGsiAepljiOZGx3K3oc4wQnl4wAfLuzWq31uGil1BDfYJrdx5BxA7XBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c9edfe9b8f52c7e99dbbdd8b3f2cfdc0e36eacb00b7e00e4269cea26881e846c","last_reissued_at":"2026-05-18T01:15:37.924569Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:15:37.924569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Framework for the Numerical Computation and a Posteriori Verification of Invariant Objects of Evolution Equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AP"],"primary_cat":"math.DS","authors_text":"Jean Philippe Lessard, Jordi-Llu\\'is Figueras, Marcio Gameiro, Rafael de la Llave","submitted_at":"2016-05-03T20:51:08Z","abstract_excerpt":"We develop a theoretical framework for computer-assisted proofs of the existence of invariant objects in semilinear PDEs. The invariant objects considered in this paper are equilibrium points, traveling waves, periodic orbits and invariant manifolds attached to fixed points or periodic orbits. The core of the study is writing down the invariance condition as a zero of an operator. These operators are in general not continuous, so one needs to smooth them by means of preconditioners before classical fixed point theorems can be applied. We develop in detail all the aspects of how to work with th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.01086","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1605.01086","created_at":"2026-05-18T01:15:37.924631+00:00"},{"alias_kind":"arxiv_version","alias_value":"1605.01086v1","created_at":"2026-05-18T01:15:37.924631+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.01086","created_at":"2026-05-18T01:15:37.924631+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZHW75G4PKLD6","created_at":"2026-05-18T12:30:53.716459+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZHW75G4PKLD6THN3","created_at":"2026-05-18T12:30:53.716459+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZHW75G4P","created_at":"2026-05-18T12:30:53.716459+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/ZHW75G4PKLD6THN33WFT6LH5YD","json":"https://pith.science/pith/ZHW75G4PKLD6THN33WFT6LH5YD.json","graph_json":"https://pith.science/api/pith-number/ZHW75G4PKLD6THN33WFT6LH5YD/graph.json","events_json":"https://pith.science/api/pith-number/ZHW75G4PKLD6THN33WFT6LH5YD/events.json","paper":"https://pith.science/paper/ZHW75G4P"},"agent_actions":{"view_html":"https://pith.science/pith/ZHW75G4PKLD6THN33WFT6LH5YD","download_json":"https://pith.science/pith/ZHW75G4PKLD6THN33WFT6LH5YD.json","view_paper":"https://pith.science/paper/ZHW75G4P","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1605.01086&json=true","fetch_graph":"https://pith.science/api/pith-number/ZHW75G4PKLD6THN33WFT6LH5YD/graph.json","fetch_events":"https://pith.science/api/pith-number/ZHW75G4PKLD6THN33WFT6LH5YD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZHW75G4PKLD6THN33WFT6LH5YD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZHW75G4PKLD6THN33WFT6LH5YD/action/storage_attestation","attest_author":"https://pith.science/pith/ZHW75G4PKLD6THN33WFT6LH5YD/action/author_attestation","sign_citation":"https://pith.science/pith/ZHW75G4PKLD6THN33WFT6LH5YD/action/citation_signature","submit_replication":"https://pith.science/pith/ZHW75G4PKLD6THN33WFT6LH5YD/action/replication_record"}},"created_at":"2026-05-18T01:15:37.924631+00:00","updated_at":"2026-05-18T01:15:37.924631+00:00"}