Solving polynomial inequalities over spaces of convex sets and applications

Saugata Basu, Hamidreza Amini Khorasgani, Hemanta K. Maji +1

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 r…