{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:RMDF7QWU7FBSMMFFVWJ76PFFPH","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":"aeea079211618bba5af43237b43f2f39185880a78dae92f12826d4383064972a","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-06-09T17:53:50Z","title_canon_sha256":"0a5b3c5636d0c9f068acf12ad003cc3bb3c0b933e7505b0b94bef261b5e44028"},"schema_version":"1.0","source":{"id":"1606.03039","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.03039","created_at":"2026-05-18T00:59:58Z"},{"alias_kind":"arxiv_version","alias_value":"1606.03039v2","created_at":"2026-05-18T00:59:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.03039","created_at":"2026-05-18T00:59:58Z"},{"alias_kind":"pith_short_12","alias_value":"RMDF7QWU7FBS","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RMDF7QWU7FBSMMFF","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RMDF7QWU","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:f8077c9bf16d5b52209e8ad7d724957b3797a11a0e9380148c1bb6b3ef277266","target":"graph","created_at":"2026-05-18T00:59:58Z","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":"This paper focuses on blow-up solutions of ordinary differential equations (ODEs). We present a method for validating blow-up solutions and their blow-up times, which is based on compactifications and the Lyapunov function validation method. The necessary criteria for this construction can be verified using interval arithmetic techniques. Some numerical examples are presented to demonstrate the applicability of our method.","authors_text":"Akitoshi Takayasu, Kaname Matsue, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi, Takiko Sasaki","cross_cats":["math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-06-09T17:53:50Z","title":"Numerical validation of blow-up solutions of ordinary differential equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.03039","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:a562dce9df697a2356f3511e5e20a3d7fda779c1c5d577e600b445b784fa8ad4","target":"record","created_at":"2026-05-18T00:59:58Z","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":"aeea079211618bba5af43237b43f2f39185880a78dae92f12826d4383064972a","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-06-09T17:53:50Z","title_canon_sha256":"0a5b3c5636d0c9f068acf12ad003cc3bb3c0b933e7505b0b94bef261b5e44028"},"schema_version":"1.0","source":{"id":"1606.03039","kind":"arxiv","version":2}},"canonical_sha256":"8b065fc2d4f9432630a5ad93ff3ca579dcfff6401b3061a272635a0ceb0fe129","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8b065fc2d4f9432630a5ad93ff3ca579dcfff6401b3061a272635a0ceb0fe129","first_computed_at":"2026-05-18T00:59:58.220905Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:59:58.220905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Wfy+FPQQUTJ8Un9lRrdxpKz5RYI4KAHXRBHnAou0yoRBn3ioRH1hA946b07PcFBAkR1gkfnHtpYLFH/cAYefBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:59:58.221480Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.03039","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a562dce9df697a2356f3511e5e20a3d7fda779c1c5d577e600b445b784fa8ad4","sha256:f8077c9bf16d5b52209e8ad7d724957b3797a11a0e9380148c1bb6b3ef277266"],"state_sha256":"c4ba8ac98c5d986f4d2912667d496001fbf9c5887e6b900d93ffd4ca94da2e3b"}