T. Boult;K. Sikorski
-;-
On the complexity of isolating real roots and computing with certainty the topological degree
Journal of Complexity