5 citations · 10 across the 8 of their papers we have counts for
1 paper · 1 filter
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…