{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:TJEHNPJDC46MNHY6SEVCVTFZRV","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":"b60436511bc957a30e59300d9ad796c6aa80a8ddfcee18949e1683496ca76dc9","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2021-01-12T18:33:24Z","title_canon_sha256":"2c2d5296bdc81aef98f2806df2dea9910a611e9be255a3ff81d821dd5a73612a"},"schema_version":"1.0","source":{"id":"2101.04655","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.04655","created_at":"2026-07-05T02:06:27Z"},{"alias_kind":"arxiv_version","alias_value":"2101.04655v1","created_at":"2026-07-05T02:06:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.04655","created_at":"2026-07-05T02:06:27Z"},{"alias_kind":"pith_short_12","alias_value":"TJEHNPJDC46M","created_at":"2026-07-05T02:06:27Z"},{"alias_kind":"pith_short_16","alias_value":"TJEHNPJDC46MNHY6","created_at":"2026-07-05T02:06:27Z"},{"alias_kind":"pith_short_8","alias_value":"TJEHNPJD","created_at":"2026-07-05T02:06:27Z"}],"graph_snapshots":[{"event_id":"sha256:533037b200cdc199a65b05d87cb2c07c2ac6930735c75959956736f03c5a229e","target":"graph","created_at":"2026-07-05T02:06:27Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2101.04655/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Numerical tools for constraints solving are a cornerstone to control verification problems. This is evident by the plethora of research that uses tools like linear and convex programming for the design of control systems. Nevertheless, the capability of linear and convex programming is limited and is not adequate to reason about general nonlinear polynomials constraints that arise naturally in the design of nonlinear systems. This limitation calls for new solvers that are capable of utilizing the power of linear and convex programming to reason about general multivariate polynomials. In this p","authors_text":"Wael Fatnassi, Yasser Shoukry","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2021-01-12T18:33:24Z","title":"PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.04655","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:1a0b927d52956ab78238e4e9eeccd1a3ec3acc6e58a456bbf337d98dda723f19","target":"record","created_at":"2026-07-05T02:06:27Z","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":"b60436511bc957a30e59300d9ad796c6aa80a8ddfcee18949e1683496ca76dc9","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2021-01-12T18:33:24Z","title_canon_sha256":"2c2d5296bdc81aef98f2806df2dea9910a611e9be255a3ff81d821dd5a73612a"},"schema_version":"1.0","source":{"id":"2101.04655","kind":"arxiv","version":1}},"canonical_sha256":"9a4876bd23173cc69f1e912a2accb98d63ddcdd3f363541ed16fba80d2b965f8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a4876bd23173cc69f1e912a2accb98d63ddcdd3f363541ed16fba80d2b965f8","first_computed_at":"2026-07-05T02:06:27.215920Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:06:27.215920Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LCyxwEaw4p3fIQ0ulsRWWHDg0IuV31fw/gXRix6Ry460i9oNiuFNV6FV6v1rDvrnXoF3JzA9WWis+jHGdoNyBA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:06:27.216263Z","signed_message":"canonical_sha256_bytes"},"source_id":"2101.04655","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1a0b927d52956ab78238e4e9eeccd1a3ec3acc6e58a456bbf337d98dda723f19","sha256:533037b200cdc199a65b05d87cb2c07c2ac6930735c75959956736f03c5a229e"],"state_sha256":"a0207fe709dc2b603f199bca0e30a7fc37958a880301a56d4b254b3fd7f8ec9f"}