Marco-Buzunariz, M.A. Rodriguez, M. SIROCCO: A Library for Certified Polynomial Root Continuation Lect. notes comput. sci. 10.1007/978-3-319-42432-3_24 2016 2016