Computation of topological degree using interval arithmetic, and applications

Solution of elementary systems of equations in a box in Rn

ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation

Verifying topological indices for higher-order rank deficiencies

Journal of Complexity

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