{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:FUAQP75HIKUGXFJU7UQJRY5OOS","short_pith_number":"pith:FUAQP75H","schema_version":"1.0","canonical_sha256":"2d0107ffa742a86b9534fd2098e3ae74be4a7a42606d882916b968d5b064bd9d","source":{"kind":"arxiv","id":"1804.09705","version":1},"attestation_state":"computed","paper":{"title":"Positive Solutions of Systems of Signed Parametric Polynomial Inequalities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SC","authors_text":"Hoon Hong, Thomas Sturm","submitted_at":"2018-04-25T17:53:25Z","abstract_excerpt":"We consider systems of strict multivariate polynomial inequalities over the reals. All polynomial coefficients are parameters ranging over the reals, where for each coefficient we prescribe its sign. We are interested in the existence of positive real solutions of our system for all choices of coefficients subject to our sign conditions. We give a decision procedure for the existence of such solutions. In the positive case our procedure yields a parametric positive solution as a rational function in the coefficients. Our framework allows to reformulate heuristic subtropical approaches for non-"},"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":"1804.09705","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-04-25T17:53:25Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4ae6d19df4f55b05514d0bd40551fba5cc232929592c7d1bd60be4c139e85e6f","abstract_canon_sha256":"458fa9400256165efc9cfc29f507c326d793163158d2c98606a1b6bcaacb3380"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:06:28.728871Z","signature_b64":"aLSIYwb0Y95h9vCNxZ4+BxE+Q1F482DofZB+1YccyUAUnKI1ME23FDmcFYtBQF2Pd2JdNIa+AKuthAdSt95HDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2d0107ffa742a86b9534fd2098e3ae74be4a7a42606d882916b968d5b064bd9d","last_reissued_at":"2026-05-18T00:06:28.728398Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:06:28.728398Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Positive Solutions of Systems of Signed Parametric Polynomial Inequalities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SC","authors_text":"Hoon Hong, Thomas Sturm","submitted_at":"2018-04-25T17:53:25Z","abstract_excerpt":"We consider systems of strict multivariate polynomial inequalities over the reals. All polynomial coefficients are parameters ranging over the reals, where for each coefficient we prescribe its sign. We are interested in the existence of positive real solutions of our system for all choices of coefficients subject to our sign conditions. We give a decision procedure for the existence of such solutions. In the positive case our procedure yields a parametric positive solution as a rational function in the coefficients. Our framework allows to reformulate heuristic subtropical approaches for non-"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.09705","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":"1804.09705","created_at":"2026-05-18T00:06:28.728479+00:00"},{"alias_kind":"arxiv_version","alias_value":"1804.09705v1","created_at":"2026-05-18T00:06:28.728479+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.09705","created_at":"2026-05-18T00:06:28.728479+00:00"},{"alias_kind":"pith_short_12","alias_value":"FUAQP75HIKUG","created_at":"2026-05-18T12:32:25.280505+00:00"},{"alias_kind":"pith_short_16","alias_value":"FUAQP75HIKUGXFJU","created_at":"2026-05-18T12:32:25.280505+00:00"},{"alias_kind":"pith_short_8","alias_value":"FUAQP75H","created_at":"2026-05-18T12:32:25.280505+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/FUAQP75HIKUGXFJU7UQJRY5OOS","json":"https://pith.science/pith/FUAQP75HIKUGXFJU7UQJRY5OOS.json","graph_json":"https://pith.science/api/pith-number/FUAQP75HIKUGXFJU7UQJRY5OOS/graph.json","events_json":"https://pith.science/api/pith-number/FUAQP75HIKUGXFJU7UQJRY5OOS/events.json","paper":"https://pith.science/paper/FUAQP75H"},"agent_actions":{"view_html":"https://pith.science/pith/FUAQP75HIKUGXFJU7UQJRY5OOS","download_json":"https://pith.science/pith/FUAQP75HIKUGXFJU7UQJRY5OOS.json","view_paper":"https://pith.science/paper/FUAQP75H","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1804.09705&json=true","fetch_graph":"https://pith.science/api/pith-number/FUAQP75HIKUGXFJU7UQJRY5OOS/graph.json","fetch_events":"https://pith.science/api/pith-number/FUAQP75HIKUGXFJU7UQJRY5OOS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FUAQP75HIKUGXFJU7UQJRY5OOS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FUAQP75HIKUGXFJU7UQJRY5OOS/action/storage_attestation","attest_author":"https://pith.science/pith/FUAQP75HIKUGXFJU7UQJRY5OOS/action/author_attestation","sign_citation":"https://pith.science/pith/FUAQP75HIKUGXFJU7UQJRY5OOS/action/citation_signature","submit_replication":"https://pith.science/pith/FUAQP75HIKUGXFJU7UQJRY5OOS/action/replication_record"}},"created_at":"2026-05-18T00:06:28.728479+00:00","updated_at":"2026-05-18T00:06:28.728479+00:00"}