{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:P3GZCLC4BDSBG25XIQMFEP3KTM","short_pith_number":"pith:P3GZCLC4","canonical_record":{"source":{"id":"1505.04121","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-05-15T16:48:35Z","cross_cats_sorted":[],"title_canon_sha256":"2e24c91484280c8ad20082dd6982a7a46331c9d7aca160daabe7fe4ce17554d0","abstract_canon_sha256":"e2136cb1433d19f0bfc5190d1f6fe7ca6161ba49811772602e6174e9d9a23080"},"schema_version":"1.0"},"canonical_sha256":"7ecd912c5c08e4136bb74418523f6a9b2419c8dd94a7983193d144181378a3bc","source":{"kind":"arxiv","id":"1505.04121","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.04121","created_at":"2026-05-18T01:16:02Z"},{"alias_kind":"arxiv_version","alias_value":"1505.04121v4","created_at":"2026-05-18T01:16:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.04121","created_at":"2026-05-18T01:16:02Z"},{"alias_kind":"pith_short_12","alias_value":"P3GZCLC4BDSB","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"P3GZCLC4BDSBG25X","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"P3GZCLC4","created_at":"2026-05-18T12:29:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:P3GZCLC4BDSBG25XIQMFEP3KTM","target":"record","payload":{"canonical_record":{"source":{"id":"1505.04121","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-05-15T16:48:35Z","cross_cats_sorted":[],"title_canon_sha256":"2e24c91484280c8ad20082dd6982a7a46331c9d7aca160daabe7fe4ce17554d0","abstract_canon_sha256":"e2136cb1433d19f0bfc5190d1f6fe7ca6161ba49811772602e6174e9d9a23080"},"schema_version":"1.0"},"canonical_sha256":"7ecd912c5c08e4136bb74418523f6a9b2419c8dd94a7983193d144181378a3bc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:02.813200Z","signature_b64":"JACYgRSdRAInDmb2BEni2VQWob6PIgJtSwT9F2D5CvGG4MIiKAvJ/FrP7Ya9JlTAiySP1akDkknqeDRKSD9uAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ecd912c5c08e4136bb74418523f6a9b2419c8dd94a7983193d144181378a3bc","last_reissued_at":"2026-05-18T01:16:02.812439Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:02.812439Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1505.04121","source_version":4,"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:16:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ptM66+iiAo7SijQg6nzqGuFZv7+fUFks2CJxEJRqqacH1WFooJyx1nuFMAWAMVbQEZK3eXRolvnKS886RfiSCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T04:49:12.155695Z"},"content_sha256":"3aafb7b3fe1f9175957bfa65d1f2189460d7570f013c16aea4a172bd61d39ab1","schema_version":"1.0","event_id":"sha256:3aafb7b3fe1f9175957bfa65d1f2189460d7570f013c16aea4a172bd61d39ab1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:P3GZCLC4BDSBG25XIQMFEP3KTM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Limits of quotients of real polynomial functions of three variables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AG","authors_text":"Carlos A. Cadavid, Juan D. V\\'elez, Juan P. Hern\\'andez","submitted_at":"2015-05-15T16:48:35Z","abstract_excerpt":"An algorithm for computing the limit of a quotient of bivariate real analytic functions has been developed by one of the authors in (Limits of quotients of bivariate real analytic functions, Journal of Symbolic Computation, 50, 2013, 197 207). In this paper we provide a theoretical method based on the work developed in that article to determine the existence of the limit of a quotient of two polynomial functions of three variables. An algorithm to compute such limits, in the case where the polynomials have rational coefficients, or more generally, coefficients in a real finite extension of the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.04121","kind":"arxiv","version":4},"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:16:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YGhIExTaDJkRKWo/oEYMQeQzVTLi6nEAyCOzjPWx8QDtYIfyhEd1ZiJtJKhjAsiX4rhPEO7sJgYzl3o9bZqxAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T04:49:12.156041Z"},"content_sha256":"c35512da972f8d407130c01d86ecf4453bebf050f1f00f1c372d6475f1c4724d","schema_version":"1.0","event_id":"sha256:c35512da972f8d407130c01d86ecf4453bebf050f1f00f1c372d6475f1c4724d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P3GZCLC4BDSBG25XIQMFEP3KTM/bundle.json","state_url":"https://pith.science/pith/P3GZCLC4BDSBG25XIQMFEP3KTM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P3GZCLC4BDSBG25XIQMFEP3KTM/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-06-24T04:49:12Z","links":{"resolver":"https://pith.science/pith/P3GZCLC4BDSBG25XIQMFEP3KTM","bundle":"https://pith.science/pith/P3GZCLC4BDSBG25XIQMFEP3KTM/bundle.json","state":"https://pith.science/pith/P3GZCLC4BDSBG25XIQMFEP3KTM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P3GZCLC4BDSBG25XIQMFEP3KTM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:P3GZCLC4BDSBG25XIQMFEP3KTM","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":"e2136cb1433d19f0bfc5190d1f6fe7ca6161ba49811772602e6174e9d9a23080","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-05-15T16:48:35Z","title_canon_sha256":"2e24c91484280c8ad20082dd6982a7a46331c9d7aca160daabe7fe4ce17554d0"},"schema_version":"1.0","source":{"id":"1505.04121","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.04121","created_at":"2026-05-18T01:16:02Z"},{"alias_kind":"arxiv_version","alias_value":"1505.04121v4","created_at":"2026-05-18T01:16:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.04121","created_at":"2026-05-18T01:16:02Z"},{"alias_kind":"pith_short_12","alias_value":"P3GZCLC4BDSB","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"P3GZCLC4BDSBG25X","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"P3GZCLC4","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:c35512da972f8d407130c01d86ecf4453bebf050f1f00f1c372d6475f1c4724d","target":"graph","created_at":"2026-05-18T01:16:02Z","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":"An algorithm for computing the limit of a quotient of bivariate real analytic functions has been developed by one of the authors in (Limits of quotients of bivariate real analytic functions, Journal of Symbolic Computation, 50, 2013, 197 207). In this paper we provide a theoretical method based on the work developed in that article to determine the existence of the limit of a quotient of two polynomial functions of three variables. An algorithm to compute such limits, in the case where the polynomials have rational coefficients, or more generally, coefficients in a real finite extension of the","authors_text":"Carlos A. Cadavid, Juan D. V\\'elez, Juan P. Hern\\'andez","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-05-15T16:48:35Z","title":"Limits of quotients of real polynomial functions of three variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.04121","kind":"arxiv","version":4},"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:3aafb7b3fe1f9175957bfa65d1f2189460d7570f013c16aea4a172bd61d39ab1","target":"record","created_at":"2026-05-18T01:16:02Z","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":"e2136cb1433d19f0bfc5190d1f6fe7ca6161ba49811772602e6174e9d9a23080","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-05-15T16:48:35Z","title_canon_sha256":"2e24c91484280c8ad20082dd6982a7a46331c9d7aca160daabe7fe4ce17554d0"},"schema_version":"1.0","source":{"id":"1505.04121","kind":"arxiv","version":4}},"canonical_sha256":"7ecd912c5c08e4136bb74418523f6a9b2419c8dd94a7983193d144181378a3bc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ecd912c5c08e4136bb74418523f6a9b2419c8dd94a7983193d144181378a3bc","first_computed_at":"2026-05-18T01:16:02.812439Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:16:02.812439Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JACYgRSdRAInDmb2BEni2VQWob6PIgJtSwT9F2D5CvGG4MIiKAvJ/FrP7Ya9JlTAiySP1akDkknqeDRKSD9uAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:16:02.813200Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.04121","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3aafb7b3fe1f9175957bfa65d1f2189460d7570f013c16aea4a172bd61d39ab1","sha256:c35512da972f8d407130c01d86ecf4453bebf050f1f00f1c372d6475f1c4724d"],"state_sha256":"4a918d2970eb90de9b05abbecbacf64cba97d24aa19f96fef8cd00ef74773d66"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w1JHSTOSYFKBna1kapgmYQir+wTCV5JTzoVG//T/mUrkT5yZ3ihSNsJEQrfpk8bXWcCzw2ICqkfuTc1TSLoaDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T04:49:12.157997Z","bundle_sha256":"25e242a6dd92f8480f4fd18f6a32322d80e811a260d81ef8642732b777056add"}}