T Boult;K Sikorski
-;-
On the complexity of isolating real roots and computing with certainty the topological degree
Journal of Complexity
Satisfiability of systems of equations of real analytic functions is quasi-decidable
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science