Sublinear Circuits and the Constrained Signomial Nonnegativity Problem

Riley Murray, Helen Naumann, Thorsten Theobald

Conditional Sums-of-AM/GM-Exponentials (conditional SAGE) is a decomposition method to prove nonnegativity of a signomial or polynomial over some subset $X$ of real space. In this…