"Provably faithful evaluation of polynomials."

Sylvie Boldo, César A. Muñoz (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics