Graillat, Trébuchet, 2009. A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system, in: . ACM Press.. https://doi.org/10.1145/1576702.1576727