Verified error bounds for multiple roots of systems of nonlinear equations Rump, Siegfried M. Graillat, Stef 2009 - TUHH Open Research