{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:4KAOGZJXE7QTWQD2HLR7EIHZRL","short_pith_number":"pith:4KAOGZJX","canonical_record":{"source":{"id":"1602.00113","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-01-30T12:18:46Z","cross_cats_sorted":[],"title_canon_sha256":"1cc5e83d7839f14f02d648a216d7b72e05ac48a171cd50d0bb58332ddda557b4","abstract_canon_sha256":"31e29421b0587832b96b453c70db975c076a93b4617455289ad92257502af57b"},"schema_version":"1.0"},"canonical_sha256":"e280e3653727e13b407a3ae3f220f98af49121f5e6ac5021a463ef9ae3261083","source":{"kind":"arxiv","id":"1602.00113","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.00113","created_at":"2026-05-18T01:21:36Z"},{"alias_kind":"arxiv_version","alias_value":"1602.00113v1","created_at":"2026-05-18T01:21:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.00113","created_at":"2026-05-18T01:21:36Z"},{"alias_kind":"pith_short_12","alias_value":"4KAOGZJXE7QT","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4KAOGZJXE7QTWQD2","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4KAOGZJX","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:4KAOGZJXE7QTWQD2HLR7EIHZRL","target":"record","payload":{"canonical_record":{"source":{"id":"1602.00113","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-01-30T12:18:46Z","cross_cats_sorted":[],"title_canon_sha256":"1cc5e83d7839f14f02d648a216d7b72e05ac48a171cd50d0bb58332ddda557b4","abstract_canon_sha256":"31e29421b0587832b96b453c70db975c076a93b4617455289ad92257502af57b"},"schema_version":"1.0"},"canonical_sha256":"e280e3653727e13b407a3ae3f220f98af49121f5e6ac5021a463ef9ae3261083","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:21:36.260520Z","signature_b64":"YfnLfYGsAneGsUY85GWlCTBVqIf3/QmVHkPmejF7o1oniVobS8rDjKEH6eiMLIfT4UaF+wBcqHGn1/VGu8FJCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e280e3653727e13b407a3ae3f220f98af49121f5e6ac5021a463ef9ae3261083","last_reissued_at":"2026-05-18T01:21:36.259905Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:21:36.259905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.00113","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-18T01:21:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x8T5UVjrDrsPd4W515VMROsQe3SzC3xesWJ3rT5/G/3LgzqIpPMRB4CYqvXrdAQv4vxt+gHkwfTH2Lr7Jr4oDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T18:53:37.084972Z"},"content_sha256":"1a7ed34c9b4d81c0ca2c134d01e996252db0f91883bc8bf5fd35c586b320df95","schema_version":"1.0","event_id":"sha256:1a7ed34c9b4d81c0ca2c134d01e996252db0f91883bc8bf5fd35c586b320df95"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:4KAOGZJXE7QTWQD2HLR7EIHZRL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proving the existence of numerically detected planar limit cycles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Armengol Gasull, H\\'ector Giacomini, Maite Grau","submitted_at":"2016-01-30T12:18:46Z","abstract_excerpt":"This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincar\\'e--Bendixson regions by using transversal curves, that enables us to prove the existence of a limit cycle that has been numerically detected. We apply our results to several known systems, like the Brusselator one or some Li\\'{e}nard systems, to prove the existence of the limit cycles and to locate them very precisely in the phase space. Our method, combined with some other classical tools can be applied to obtain sharp bounds fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.00113","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-18T01:21:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UTQZWwCQpjKRIj1qi1gW9BD2c0/uNG6G4U55vXQsVskSHYjP+EHZ6XGWlPEX1md3MnYmbFNZLG7+YGpmTmgfAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T18:53:37.085334Z"},"content_sha256":"cecb62e48c044e01289130d8656a71e7a1e0179e42cf1afd854ab830ec9a7586","schema_version":"1.0","event_id":"sha256:cecb62e48c044e01289130d8656a71e7a1e0179e42cf1afd854ab830ec9a7586"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4KAOGZJXE7QTWQD2HLR7EIHZRL/bundle.json","state_url":"https://pith.science/pith/4KAOGZJXE7QTWQD2HLR7EIHZRL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4KAOGZJXE7QTWQD2HLR7EIHZRL/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-05-30T18:53:37Z","links":{"resolver":"https://pith.science/pith/4KAOGZJXE7QTWQD2HLR7EIHZRL","bundle":"https://pith.science/pith/4KAOGZJXE7QTWQD2HLR7EIHZRL/bundle.json","state":"https://pith.science/pith/4KAOGZJXE7QTWQD2HLR7EIHZRL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4KAOGZJXE7QTWQD2HLR7EIHZRL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:4KAOGZJXE7QTWQD2HLR7EIHZRL","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":"31e29421b0587832b96b453c70db975c076a93b4617455289ad92257502af57b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-01-30T12:18:46Z","title_canon_sha256":"1cc5e83d7839f14f02d648a216d7b72e05ac48a171cd50d0bb58332ddda557b4"},"schema_version":"1.0","source":{"id":"1602.00113","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.00113","created_at":"2026-05-18T01:21:36Z"},{"alias_kind":"arxiv_version","alias_value":"1602.00113v1","created_at":"2026-05-18T01:21:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.00113","created_at":"2026-05-18T01:21:36Z"},{"alias_kind":"pith_short_12","alias_value":"4KAOGZJXE7QT","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4KAOGZJXE7QTWQD2","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4KAOGZJX","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:cecb62e48c044e01289130d8656a71e7a1e0179e42cf1afd854ab830ec9a7586","target":"graph","created_at":"2026-05-18T01:21:36Z","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 deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincar\\'e--Bendixson regions by using transversal curves, that enables us to prove the existence of a limit cycle that has been numerically detected. We apply our results to several known systems, like the Brusselator one or some Li\\'{e}nard systems, to prove the existence of the limit cycles and to locate them very precisely in the phase space. Our method, combined with some other classical tools can be applied to obtain sharp bounds fo","authors_text":"Armengol Gasull, H\\'ector Giacomini, Maite Grau","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-01-30T12:18:46Z","title":"Proving the existence of numerically detected planar limit cycles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.00113","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:1a7ed34c9b4d81c0ca2c134d01e996252db0f91883bc8bf5fd35c586b320df95","target":"record","created_at":"2026-05-18T01:21:36Z","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":"31e29421b0587832b96b453c70db975c076a93b4617455289ad92257502af57b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-01-30T12:18:46Z","title_canon_sha256":"1cc5e83d7839f14f02d648a216d7b72e05ac48a171cd50d0bb58332ddda557b4"},"schema_version":"1.0","source":{"id":"1602.00113","kind":"arxiv","version":1}},"canonical_sha256":"e280e3653727e13b407a3ae3f220f98af49121f5e6ac5021a463ef9ae3261083","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e280e3653727e13b407a3ae3f220f98af49121f5e6ac5021a463ef9ae3261083","first_computed_at":"2026-05-18T01:21:36.259905Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:21:36.259905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YfnLfYGsAneGsUY85GWlCTBVqIf3/QmVHkPmejF7o1oniVobS8rDjKEH6eiMLIfT4UaF+wBcqHGn1/VGu8FJCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:21:36.260520Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.00113","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1a7ed34c9b4d81c0ca2c134d01e996252db0f91883bc8bf5fd35c586b320df95","sha256:cecb62e48c044e01289130d8656a71e7a1e0179e42cf1afd854ab830ec9a7586"],"state_sha256":"cbcc6c75f595aed02814bb5fd5c1103f445f205d90dc895dc81c4a5cadd86c0f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xNj2AkKIcZw/ACigIUboW+UWSGlENWdYf5giYhiK66KX2a4PpaPVzxDZGceSNmYoO8Vd0NAgtbzs9bC2SpZMDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T18:53:37.087716Z","bundle_sha256":"52bbe699d6ec0201946eb1fea39ff0542c9b5f116ac6a4a73cc3985865645ea5"}}