Verified error bounds for multiple roots of systems of nonlinear equations Rump, Siegfried M. Graillat, Stef 2009 - TUHH Open Research
Interval arithmetic on the cell processor Graillat, Stef Lamotte, Jean-Luc Rump, Siegfried M. Markov, Svetoslav 2008 - TUHH Open Research