{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:AMH43OA2F5RKINMRXTIOVHDCFQ","short_pith_number":"pith:AMH43OA2","schema_version":"1.0","canonical_sha256":"030fcdb81a2f62a43591bcd0ea9c622c06eebe2416e60a58b1036b1b838fd1f0","source":{"kind":"arxiv","id":"1403.5899","version":2},"attestation_state":"computed","paper":{"title":"Certification of Real Inequalities -- Templates and Sums of Squares","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Benjamin Werner, St\\'ephane Gaubert, Victor Magron, Xavier Allamigeon","submitted_at":"2014-03-24T10:20:48Z","abstract_excerpt":"We consider the problem of certifying lower bounds for real-valued multivariate transcendental functions. The functions we are dealing with are nonlinear and involve semialgebraic operations as well as some transcendental functions like $\\cos$, $\\arctan$, $\\exp$, etc. Our general framework is to use different approximation methods to relax the original problem into polynomial optimization problems, which we solve by sparse sums of squares relaxations. In particular, we combine the ideas of the maxplus estimators (originally introduced in optimal control) and of the linear templates (originally"},"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":"1403.5899","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-03-24T10:20:48Z","cross_cats_sorted":[],"title_canon_sha256":"7cc76ac0682535f6fe52224c4f03d6dc9b33bf91bc07014f953e5ccd378ebf3d","abstract_canon_sha256":"874f07bf0045032b74d686a58da6fb734e8ca1d08a6bcb062f7e138fcdc634c3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:40:01.971537Z","signature_b64":"G38aDNJlBttJ9dU6XPTZ5K4y3e8/WWTGEHE/WQ0AML8ocvzOOXoPccobn9ZuklmhgtJA/jVxpsSdGdBMPACYDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"030fcdb81a2f62a43591bcd0ea9c622c06eebe2416e60a58b1036b1b838fd1f0","last_reissued_at":"2026-05-18T02:40:01.971064Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:40:01.971064Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Certification of Real Inequalities -- Templates and Sums of Squares","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Benjamin Werner, St\\'ephane Gaubert, Victor Magron, Xavier Allamigeon","submitted_at":"2014-03-24T10:20:48Z","abstract_excerpt":"We consider the problem of certifying lower bounds for real-valued multivariate transcendental functions. The functions we are dealing with are nonlinear and involve semialgebraic operations as well as some transcendental functions like $\\cos$, $\\arctan$, $\\exp$, etc. Our general framework is to use different approximation methods to relax the original problem into polynomial optimization problems, which we solve by sparse sums of squares relaxations. In particular, we combine the ideas of the maxplus estimators (originally introduced in optimal control) and of the linear templates (originally"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.5899","kind":"arxiv","version":2},"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":"1403.5899","created_at":"2026-05-18T02:40:01.971132+00:00"},{"alias_kind":"arxiv_version","alias_value":"1403.5899v2","created_at":"2026-05-18T02:40:01.971132+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.5899","created_at":"2026-05-18T02:40:01.971132+00:00"},{"alias_kind":"pith_short_12","alias_value":"AMH43OA2F5RK","created_at":"2026-05-18T12:28:19.803747+00:00"},{"alias_kind":"pith_short_16","alias_value":"AMH43OA2F5RKINMR","created_at":"2026-05-18T12:28:19.803747+00:00"},{"alias_kind":"pith_short_8","alias_value":"AMH43OA2","created_at":"2026-05-18T12:28:19.803747+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/AMH43OA2F5RKINMRXTIOVHDCFQ","json":"https://pith.science/pith/AMH43OA2F5RKINMRXTIOVHDCFQ.json","graph_json":"https://pith.science/api/pith-number/AMH43OA2F5RKINMRXTIOVHDCFQ/graph.json","events_json":"https://pith.science/api/pith-number/AMH43OA2F5RKINMRXTIOVHDCFQ/events.json","paper":"https://pith.science/paper/AMH43OA2"},"agent_actions":{"view_html":"https://pith.science/pith/AMH43OA2F5RKINMRXTIOVHDCFQ","download_json":"https://pith.science/pith/AMH43OA2F5RKINMRXTIOVHDCFQ.json","view_paper":"https://pith.science/paper/AMH43OA2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1403.5899&json=true","fetch_graph":"https://pith.science/api/pith-number/AMH43OA2F5RKINMRXTIOVHDCFQ/graph.json","fetch_events":"https://pith.science/api/pith-number/AMH43OA2F5RKINMRXTIOVHDCFQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AMH43OA2F5RKINMRXTIOVHDCFQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AMH43OA2F5RKINMRXTIOVHDCFQ/action/storage_attestation","attest_author":"https://pith.science/pith/AMH43OA2F5RKINMRXTIOVHDCFQ/action/author_attestation","sign_citation":"https://pith.science/pith/AMH43OA2F5RKINMRXTIOVHDCFQ/action/citation_signature","submit_replication":"https://pith.science/pith/AMH43OA2F5RKINMRXTIOVHDCFQ/action/replication_record"}},"created_at":"2026-05-18T02:40:01.971132+00:00","updated_at":"2026-05-18T02:40:01.971132+00:00"}