The Existential Theory of the Reals with Summation Operators.

Markus Blser, Julian Drfler, Maciej Liskiewicz, Benito van der Zander

Browse the full ISAAC paper archive.