32 citations · 74 across the 4 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
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…