{"id":"arxiv/2608.07794","url":"https://arxiv.org/abs/2608.07794","tags":["math.CO","math.AG","math.LO"],"score":0,"title":"Solving polynomial inequalities over spaces of convex sets and applications","domain":"math.CO","source":"arxiv","authors":["Saugata Basu","Hamidreza Amini Khorasgani","Hemanta K. Maji","Hai H. Nguyen"],"reviews":0,"subject":"math.CO","summary":"We develop a symbolic elimination theory for finite systems of recursive containment inequalities whose unknowns are convex subsets of a finite-dimensional real vector space. The right-hand sides are formal expressions generated from variables and parameters by convex linear combinations, finite union, and a positive geometric join encoding strict convex combinations. We prove that every parameter assignment has a unique smallest convex-set-valued solution and give a finite Gaussian-elimination-type procedure that eliminates the unknowns while preserving this solution and produces…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-07","reactions":{}}