39 citations · 219 across the 22 of their papers we have counts for
Showing 2015 · cs.SCShow all
3 papers · 2 filters
cs.SC2015★ 2 cited
A Generalized Framework for Virtual Substitution
Marek Kosta, Thomas Sturm
We generalize the framework of virtual substitution for real quantifier elimination to arbitrary but bounded degrees. We make explicit the representation of test points in eliminat…
cs.SC2015★ 10 cited
Better Answers to Real Questions
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…
cs.SC2015★ 7 cited
Subtropical Real Root Finding
Thomas Sturm
We describe a new incomplete but terminating method for real root finding for large multivariate polynomials. We take an abstract view of the polynomial as the set of exponent vect…