{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:CZG24RATANBXMO2TLSZC56FIPK","short_pith_number":"pith:CZG24RAT","schema_version":"1.0","canonical_sha256":"164dae44130343763b535cb22ef8a87a9d44308dd553a8e9c1ba67a4d8917af3","source":{"kind":"arxiv","id":"1408.4678","version":2},"attestation_state":"computed","paper":{"title":"A Computer-Assisted Stability Proof for a Stationary Solution of Reaction-Diffusion Equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Jing Zeng, Shuting Cai","submitted_at":"2014-08-20T14:38:06Z","abstract_excerpt":"The main subject of this paper is a computer assisted stability proof for a stationary solution of reaction diffusion equations in one dimensional space. We use Nakao's numerical verification method to enclose a stationary solution of reaction-diffusion equations. Considering the linearized stability of the solution, a method of excluding eigenvalues in a half plane is adopted. We first focus on the eigenvalues for an operator linearized at an approximate solution. An excluding theorem is presented such that we know under some condition, and there is no eigenvalue in some disks. Some computabl"},"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":"1408.4678","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-08-20T14:38:06Z","cross_cats_sorted":[],"title_canon_sha256":"1b74ef49174ab54d3eb5bf34a158f2528083a7699736df25877aaada18f9892e","abstract_canon_sha256":"27f66c285f36fdf503d56ad6bfd282741f0cf15d7976d1c29ddd0ab9563a443e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:29:10.716252Z","signature_b64":"yWU9L6Sd4RDxLBBHuGYhZtj7oYVIqkOYIi0D7XMkzpvzlFyjuwJ8XhpITVgNI4f1nthtnOxJ4o86aHomy3+RBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"164dae44130343763b535cb22ef8a87a9d44308dd553a8e9c1ba67a4d8917af3","last_reissued_at":"2026-05-18T02:29:10.715632Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:29:10.715632Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Computer-Assisted Stability Proof for a Stationary Solution of Reaction-Diffusion Equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Jing Zeng, Shuting Cai","submitted_at":"2014-08-20T14:38:06Z","abstract_excerpt":"The main subject of this paper is a computer assisted stability proof for a stationary solution of reaction diffusion equations in one dimensional space. We use Nakao's numerical verification method to enclose a stationary solution of reaction-diffusion equations. Considering the linearized stability of the solution, a method of excluding eigenvalues in a half plane is adopted. We first focus on the eigenvalues for an operator linearized at an approximate solution. An excluding theorem is presented such that we know under some condition, and there is no eigenvalue in some disks. Some computabl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.4678","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":"1408.4678","created_at":"2026-05-18T02:29:10.715757+00:00"},{"alias_kind":"arxiv_version","alias_value":"1408.4678v2","created_at":"2026-05-18T02:29:10.715757+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.4678","created_at":"2026-05-18T02:29:10.715757+00:00"},{"alias_kind":"pith_short_12","alias_value":"CZG24RATANBX","created_at":"2026-05-18T12:28:25.294606+00:00"},{"alias_kind":"pith_short_16","alias_value":"CZG24RATANBXMO2T","created_at":"2026-05-18T12:28:25.294606+00:00"},{"alias_kind":"pith_short_8","alias_value":"CZG24RAT","created_at":"2026-05-18T12:28:25.294606+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/CZG24RATANBXMO2TLSZC56FIPK","json":"https://pith.science/pith/CZG24RATANBXMO2TLSZC56FIPK.json","graph_json":"https://pith.science/api/pith-number/CZG24RATANBXMO2TLSZC56FIPK/graph.json","events_json":"https://pith.science/api/pith-number/CZG24RATANBXMO2TLSZC56FIPK/events.json","paper":"https://pith.science/paper/CZG24RAT"},"agent_actions":{"view_html":"https://pith.science/pith/CZG24RATANBXMO2TLSZC56FIPK","download_json":"https://pith.science/pith/CZG24RATANBXMO2TLSZC56FIPK.json","view_paper":"https://pith.science/paper/CZG24RAT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1408.4678&json=true","fetch_graph":"https://pith.science/api/pith-number/CZG24RATANBXMO2TLSZC56FIPK/graph.json","fetch_events":"https://pith.science/api/pith-number/CZG24RATANBXMO2TLSZC56FIPK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CZG24RATANBXMO2TLSZC56FIPK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CZG24RATANBXMO2TLSZC56FIPK/action/storage_attestation","attest_author":"https://pith.science/pith/CZG24RATANBXMO2TLSZC56FIPK/action/author_attestation","sign_citation":"https://pith.science/pith/CZG24RATANBXMO2TLSZC56FIPK/action/citation_signature","submit_replication":"https://pith.science/pith/CZG24RATANBXMO2TLSZC56FIPK/action/replication_record"}},"created_at":"2026-05-18T02:29:10.715757+00:00","updated_at":"2026-05-18T02:29:10.715757+00:00"}