{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:ANRJLB5QQ3SSYMPL2CBM4AQLSZ","short_pith_number":"pith:ANRJLB5Q","canonical_record":{"source":{"id":"1711.01911","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2017-11-06T14:43:19Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"0534fa4c3408547552e9e708f9ec51cb05a6c7f59448f9b844f53d81b9aec731","abstract_canon_sha256":"b824e626585bc1c008ac8ffd389a1733cff1ff991d270efe417847351c9f14c1"},"schema_version":"1.0"},"canonical_sha256":"03629587b086e52c31ebd082ce020b9653efc407a0d47b881c7be6bee2191d06","source":{"kind":"arxiv","id":"1711.01911","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.01911","created_at":"2026-05-18T00:31:16Z"},{"alias_kind":"arxiv_version","alias_value":"1711.01911v1","created_at":"2026-05-18T00:31:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.01911","created_at":"2026-05-18T00:31:16Z"},{"alias_kind":"pith_short_12","alias_value":"ANRJLB5QQ3SS","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"ANRJLB5QQ3SSYMPL","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"ANRJLB5Q","created_at":"2026-05-18T12:31:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:ANRJLB5QQ3SSYMPL2CBM4AQLSZ","target":"record","payload":{"canonical_record":{"source":{"id":"1711.01911","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2017-11-06T14:43:19Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"0534fa4c3408547552e9e708f9ec51cb05a6c7f59448f9b844f53d81b9aec731","abstract_canon_sha256":"b824e626585bc1c008ac8ffd389a1733cff1ff991d270efe417847351c9f14c1"},"schema_version":"1.0"},"canonical_sha256":"03629587b086e52c31ebd082ce020b9653efc407a0d47b881c7be6bee2191d06","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:16.586751Z","signature_b64":"mexQQh5UFKa8+3IgvHAxPnFPRqBqgc3q+xuEDQyEV2CZbjU7iafYlD4Qs2/Fw5MzVqnIHcu4O+Zn2aVN3IfmDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"03629587b086e52c31ebd082ce020b9653efc407a0d47b881c7be6bee2191d06","last_reissued_at":"2026-05-18T00:31:16.586278Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:16.586278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.01911","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:31:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xe37HG3/KGqCh365qEUTkDOoLxYhvEbRZLJI18yEZGh5se/74sMarpgodYsbFo6BV0iAHiWbRgKvIAY4kmGmCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T08:38:31.120567Z"},"content_sha256":"0879f8915eb09d9e7e6eafc4fd4f9ea45fd712ec0a18d6ffcc8ddbab88f2b02c","schema_version":"1.0","event_id":"sha256:0879f8915eb09d9e7e6eafc4fd4f9ea45fd712ec0a18d6ffcc8ddbab88f2b02c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:ANRJLB5QQ3SSYMPL2CBM4AQLSZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Rigorous numerics of finite-time singularities in dynamical systems - methodology and applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DS"],"primary_cat":"math.NA","authors_text":"Kaname Matsue","submitted_at":"2017-11-06T14:43:19Z","abstract_excerpt":"This paper aims at providing rigorous numerical computation procedure for finite-time singularities in dynamical systems. Combination of time-scale desingularization as well as Lyapunov functions validation on stable manifolds of invariant sets for desingularized vector fields with standard integration procedure for ordinary differential equations give us validated trajectories of dynamical systems involving finite-time singularities. Our focus includes finite-time extinction, traveling wave solutions with half-line or compact support, and singular canards in fast-slow systems, including rigor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.01911","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:31:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KY/3mKFjeiUGlYJru4vnP4+scfT7PLMMSU83rRB2LxHe+FubicTKaOrMIthIzam1zqQKZXVCVcZB8X5HL145BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T08:38:31.120904Z"},"content_sha256":"bfc5db59eb4d44960465ec84d6ff494affeeb2c4373cc38c5b124113efae68ac","schema_version":"1.0","event_id":"sha256:bfc5db59eb4d44960465ec84d6ff494affeeb2c4373cc38c5b124113efae68ac"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ANRJLB5QQ3SSYMPL2CBM4AQLSZ/bundle.json","state_url":"https://pith.science/pith/ANRJLB5QQ3SSYMPL2CBM4AQLSZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ANRJLB5QQ3SSYMPL2CBM4AQLSZ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-02T08:38:31Z","links":{"resolver":"https://pith.science/pith/ANRJLB5QQ3SSYMPL2CBM4AQLSZ","bundle":"https://pith.science/pith/ANRJLB5QQ3SSYMPL2CBM4AQLSZ/bundle.json","state":"https://pith.science/pith/ANRJLB5QQ3SSYMPL2CBM4AQLSZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ANRJLB5QQ3SSYMPL2CBM4AQLSZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:ANRJLB5QQ3SSYMPL2CBM4AQLSZ","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":"b824e626585bc1c008ac8ffd389a1733cff1ff991d270efe417847351c9f14c1","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2017-11-06T14:43:19Z","title_canon_sha256":"0534fa4c3408547552e9e708f9ec51cb05a6c7f59448f9b844f53d81b9aec731"},"schema_version":"1.0","source":{"id":"1711.01911","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.01911","created_at":"2026-05-18T00:31:16Z"},{"alias_kind":"arxiv_version","alias_value":"1711.01911v1","created_at":"2026-05-18T00:31:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.01911","created_at":"2026-05-18T00:31:16Z"},{"alias_kind":"pith_short_12","alias_value":"ANRJLB5QQ3SS","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"ANRJLB5QQ3SSYMPL","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"ANRJLB5Q","created_at":"2026-05-18T12:31:05Z"}],"graph_snapshots":[{"event_id":"sha256:bfc5db59eb4d44960465ec84d6ff494affeeb2c4373cc38c5b124113efae68ac","target":"graph","created_at":"2026-05-18T00:31:16Z","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 aims at providing rigorous numerical computation procedure for finite-time singularities in dynamical systems. Combination of time-scale desingularization as well as Lyapunov functions validation on stable manifolds of invariant sets for desingularized vector fields with standard integration procedure for ordinary differential equations give us validated trajectories of dynamical systems involving finite-time singularities. Our focus includes finite-time extinction, traveling wave solutions with half-line or compact support, and singular canards in fast-slow systems, including rigor","authors_text":"Kaname Matsue","cross_cats":["math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2017-11-06T14:43:19Z","title":"Rigorous numerics of finite-time singularities in dynamical systems - methodology and applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.01911","kind":"arxiv","version":1},"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:0879f8915eb09d9e7e6eafc4fd4f9ea45fd712ec0a18d6ffcc8ddbab88f2b02c","target":"record","created_at":"2026-05-18T00:31:16Z","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":"b824e626585bc1c008ac8ffd389a1733cff1ff991d270efe417847351c9f14c1","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2017-11-06T14:43:19Z","title_canon_sha256":"0534fa4c3408547552e9e708f9ec51cb05a6c7f59448f9b844f53d81b9aec731"},"schema_version":"1.0","source":{"id":"1711.01911","kind":"arxiv","version":1}},"canonical_sha256":"03629587b086e52c31ebd082ce020b9653efc407a0d47b881c7be6bee2191d06","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"03629587b086e52c31ebd082ce020b9653efc407a0d47b881c7be6bee2191d06","first_computed_at":"2026-05-18T00:31:16.586278Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:16.586278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mexQQh5UFKa8+3IgvHAxPnFPRqBqgc3q+xuEDQyEV2CZbjU7iafYlD4Qs2/Fw5MzVqnIHcu4O+Zn2aVN3IfmDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:16.586751Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.01911","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0879f8915eb09d9e7e6eafc4fd4f9ea45fd712ec0a18d6ffcc8ddbab88f2b02c","sha256:bfc5db59eb4d44960465ec84d6ff494affeeb2c4373cc38c5b124113efae68ac"],"state_sha256":"07ef862b4070c57bae83468801c2b6890800c0dd68b754c0127b7f4461f4028b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IQhieKiSKYVEOmkzbq54DyZyghEBMhTm4uOTx73ExzbQwNOfpZuKKvjaaepwozP45cHQRZU7X8Uu4DFL4ge1Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T08:38:31.122930Z","bundle_sha256":"edfb9fa1568e387a634655071f4d98f29a3a4d87edc69f3c7397769884bc6ed5"}}