{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:VC3TAXO7RXJKQVN5V7N53WOPBZ","short_pith_number":"pith:VC3TAXO7","schema_version":"1.0","canonical_sha256":"a8b7305ddf8dd2a855bdafdbddd9cf0e423df7cad432d588826cb19e789e8365","source":{"kind":"arxiv","id":"1905.03505","version":1},"attestation_state":"computed","paper":{"title":"Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Chee Yap, Juan Xu","submitted_at":"2019-05-09T09:38:39Z","abstract_excerpt":"We describe a new algorithm \\texttt{Miranda} for isolating the simple zeros of a function $\\boldsymbol{f}:{\\mathbb R}^n\\to{\\mathbb R}^n$ within a box $B_0\\subseteq {\\mathbb R}^n$. The function $\\boldsymbol{f}$ and its partial derivatives must have interval forms, but need not be polynomial. Our subdivision-based algorithm is \"effective\" in the sense that our algorithmic description also specifies the numerical precision hat is sufficient to certify an implementation with any standard BigFloat number type. The main predicate is the Moore-Kioustelides (MK) test, based on Miranda's Theorem (1940)"},"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":"1905.03505","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2019-05-09T09:38:39Z","cross_cats_sorted":[],"title_canon_sha256":"2e917ef4045b43030ee6360593af4ac0ac69a3fa08b81cff95d9cc8b7d6fd5bf","abstract_canon_sha256":"d4139caa39f6d11d5b6c5ffb583837e4dab8853628f2eab155f0b3ac19e68dd2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:37.572228Z","signature_b64":"KuZuW4CmUBKJXnyj3YLnUsVMCJZoBQnYxfr7zIHZ8OAF9FPhiSlkFxoQzcbNMb5kokPUBRnnxY8FZ2eEHZ+iDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a8b7305ddf8dd2a855bdafdbddd9cf0e423df7cad432d588826cb19e789e8365","last_reissued_at":"2026-05-17T23:46:37.571577Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:37.571577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Chee Yap, Juan Xu","submitted_at":"2019-05-09T09:38:39Z","abstract_excerpt":"We describe a new algorithm \\texttt{Miranda} for isolating the simple zeros of a function $\\boldsymbol{f}:{\\mathbb R}^n\\to{\\mathbb R}^n$ within a box $B_0\\subseteq {\\mathbb R}^n$. The function $\\boldsymbol{f}$ and its partial derivatives must have interval forms, but need not be polynomial. Our subdivision-based algorithm is \"effective\" in the sense that our algorithmic description also specifies the numerical precision hat is sufficient to certify an implementation with any standard BigFloat number type. The main predicate is the Moore-Kioustelides (MK) test, based on Miranda's Theorem (1940)"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.03505","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":"1905.03505","created_at":"2026-05-17T23:46:37.571694+00:00"},{"alias_kind":"arxiv_version","alias_value":"1905.03505v1","created_at":"2026-05-17T23:46:37.571694+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.03505","created_at":"2026-05-17T23:46:37.571694+00:00"},{"alias_kind":"pith_short_12","alias_value":"VC3TAXO7RXJK","created_at":"2026-05-18T12:33:30.264802+00:00"},{"alias_kind":"pith_short_16","alias_value":"VC3TAXO7RXJKQVN5","created_at":"2026-05-18T12:33:30.264802+00:00"},{"alias_kind":"pith_short_8","alias_value":"VC3TAXO7","created_at":"2026-05-18T12:33:30.264802+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/VC3TAXO7RXJKQVN5V7N53WOPBZ","json":"https://pith.science/pith/VC3TAXO7RXJKQVN5V7N53WOPBZ.json","graph_json":"https://pith.science/api/pith-number/VC3TAXO7RXJKQVN5V7N53WOPBZ/graph.json","events_json":"https://pith.science/api/pith-number/VC3TAXO7RXJKQVN5V7N53WOPBZ/events.json","paper":"https://pith.science/paper/VC3TAXO7"},"agent_actions":{"view_html":"https://pith.science/pith/VC3TAXO7RXJKQVN5V7N53WOPBZ","download_json":"https://pith.science/pith/VC3TAXO7RXJKQVN5V7N53WOPBZ.json","view_paper":"https://pith.science/paper/VC3TAXO7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1905.03505&json=true","fetch_graph":"https://pith.science/api/pith-number/VC3TAXO7RXJKQVN5V7N53WOPBZ/graph.json","fetch_events":"https://pith.science/api/pith-number/VC3TAXO7RXJKQVN5V7N53WOPBZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VC3TAXO7RXJKQVN5V7N53WOPBZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VC3TAXO7RXJKQVN5V7N53WOPBZ/action/storage_attestation","attest_author":"https://pith.science/pith/VC3TAXO7RXJKQVN5V7N53WOPBZ/action/author_attestation","sign_citation":"https://pith.science/pith/VC3TAXO7RXJKQVN5V7N53WOPBZ/action/citation_signature","submit_replication":"https://pith.science/pith/VC3TAXO7RXJKQVN5V7N53WOPBZ/action/replication_record"}},"created_at":"2026-05-17T23:46:37.571694+00:00","updated_at":"2026-05-17T23:46:37.571694+00:00"}