10 citations · 10 across the 1 of their papers we have counts for
1 paper
Marek Kosta, Thomas Sturm, Andreas Dolzmann
We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which a…