{"id":"arxiv/2605.18980","url":"https://arxiv.org/abs/2605.18980","tags":["cs.SC","math.AC"],"score":0,"title":"Computing Certificates in Archimedean Univariate Saturated Quadratic Modules","domain":"cs.SC","source":"arxiv","authors":["Jose Abel Castellanos-Joo","Deepak Kapur"],"reviews":0,"subject":"cs.SC","summary":"A new symbolic algorithm to compute sums of squares multipliers (certificates) to witness the membership of non-negative univariate polynomials in a saturated univariate quadratic module is presented. Certificates are first computed in terms of natural generators introduced by Kuhlmann and Marshall for an Archimedean saturated quadratic module; natural generators can be easily read-off from a semialgebraic set. In the univariate case, an Archimedean quadratic module is also a preordering since it is closed under multiplication; certificates have different representations when a polynomial is…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-18","reactions":{}}