5 citations · 10 across the 8 of their papers we have counts for
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2014
Robust Satisfiability of Systems of Equations
Peter Franek, Marek Krcal
We study the problem of \emph{robust satisfiability} of systems of nonlinear equations, namely, whether for a given continuous function on a~finite simplicia…
cs.CC2013★ 2 cited
Quasi-decidability of a Fragment of the First-order Theory of Real Numbers
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…