7 citations · 13 across the 16 of their papers we have counts for
1 paper · 2 filters
Peter Franek, Stefan Ratschan, Piotr Zgliczynski
In this paper we consider a fragment of the first-order theory of the real numbers that includes systems of equations of continuous functions in bounded domains, and for which all…