{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:OVQ24KTI7RW56D5GZXWJZNFRM3","short_pith_number":"pith:OVQ24KTI","schema_version":"1.0","canonical_sha256":"7561ae2a68fc6ddf0fa6cdec9cb4b166f5adf82e6a041108f2f5eea00d3b30a3","source":{"kind":"arxiv","id":"1604.05953","version":1},"attestation_state":"computed","paper":{"title":"On the construction of Lyapunov functions with computer assistance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DS"],"primary_cat":"math.NA","authors_text":"Kaname Matsue, Nobito Yamamoto, Tomohiro Hiwaki","submitted_at":"2016-04-20T13:34:54Z","abstract_excerpt":"Computer assisted procedures of Lyapunov functions defined in given neighborhoods of fixed points for flows and maps are discussed. We provide a systematic methodology for constructing explicit ranges where quadratic Lyapunov functions exist in two stages; negative definiteness of associating matrices and direct approach. We note that the former is equivalent to the procedure of cones describing enclosures of the stable and the unstable manifolds of invariant sets, which gives us flexible discussions of asymptotic behavior not only around equilibria for flows but also fixed points for maps. Ad"},"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":"1604.05953","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-04-20T13:34:54Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"139b3248b836c1ea1340b7ed9af64527db795deeec2be6d7901574c045cb64c2","abstract_canon_sha256":"1cbbfa51970d5293bcd7d31e78ae64c63ec5f3b19949c435eee7815263bdf04b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:34.119360Z","signature_b64":"v2jdrsdNVhkzK7Fju0SL2ImS9xysIyV6AVbKk+bvXLGhX7lFtPTIGNoLFcOE2HkeNTyh5o3KCh1l//CYf5wgBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7561ae2a68fc6ddf0fa6cdec9cb4b166f5adf82e6a041108f2f5eea00d3b30a3","last_reissued_at":"2026-05-18T01:16:34.118837Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:34.118837Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the construction of Lyapunov functions with computer assistance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DS"],"primary_cat":"math.NA","authors_text":"Kaname Matsue, Nobito Yamamoto, Tomohiro Hiwaki","submitted_at":"2016-04-20T13:34:54Z","abstract_excerpt":"Computer assisted procedures of Lyapunov functions defined in given neighborhoods of fixed points for flows and maps are discussed. We provide a systematic methodology for constructing explicit ranges where quadratic Lyapunov functions exist in two stages; negative definiteness of associating matrices and direct approach. We note that the former is equivalent to the procedure of cones describing enclosures of the stable and the unstable manifolds of invariant sets, which gives us flexible discussions of asymptotic behavior not only around equilibria for flows but also fixed points for maps. Ad"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.05953","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":"1604.05953","created_at":"2026-05-18T01:16:34.118909+00:00"},{"alias_kind":"arxiv_version","alias_value":"1604.05953v1","created_at":"2026-05-18T01:16:34.118909+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.05953","created_at":"2026-05-18T01:16:34.118909+00:00"},{"alias_kind":"pith_short_12","alias_value":"OVQ24KTI7RW5","created_at":"2026-05-18T12:30:36.002864+00:00"},{"alias_kind":"pith_short_16","alias_value":"OVQ24KTI7RW56D5G","created_at":"2026-05-18T12:30:36.002864+00:00"},{"alias_kind":"pith_short_8","alias_value":"OVQ24KTI","created_at":"2026-05-18T12:30:36.002864+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/OVQ24KTI7RW56D5GZXWJZNFRM3","json":"https://pith.science/pith/OVQ24KTI7RW56D5GZXWJZNFRM3.json","graph_json":"https://pith.science/api/pith-number/OVQ24KTI7RW56D5GZXWJZNFRM3/graph.json","events_json":"https://pith.science/api/pith-number/OVQ24KTI7RW56D5GZXWJZNFRM3/events.json","paper":"https://pith.science/paper/OVQ24KTI"},"agent_actions":{"view_html":"https://pith.science/pith/OVQ24KTI7RW56D5GZXWJZNFRM3","download_json":"https://pith.science/pith/OVQ24KTI7RW56D5GZXWJZNFRM3.json","view_paper":"https://pith.science/paper/OVQ24KTI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1604.05953&json=true","fetch_graph":"https://pith.science/api/pith-number/OVQ24KTI7RW56D5GZXWJZNFRM3/graph.json","fetch_events":"https://pith.science/api/pith-number/OVQ24KTI7RW56D5GZXWJZNFRM3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OVQ24KTI7RW56D5GZXWJZNFRM3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OVQ24KTI7RW56D5GZXWJZNFRM3/action/storage_attestation","attest_author":"https://pith.science/pith/OVQ24KTI7RW56D5GZXWJZNFRM3/action/author_attestation","sign_citation":"https://pith.science/pith/OVQ24KTI7RW56D5GZXWJZNFRM3/action/citation_signature","submit_replication":"https://pith.science/pith/OVQ24KTI7RW56D5GZXWJZNFRM3/action/replication_record"}},"created_at":"2026-05-18T01:16:34.118909+00:00","updated_at":"2026-05-18T01:16:34.118909+00:00"}