A separation bound for real algebraic expressions (2001)

by C Burnikel, S Funke, K Mehlhorn, S Schirra, S Schmitt
Venue:In Proc. 9th European Symposium on Algorithms, volume 2161 of Lecture Notes Comput. Sci