Provably faithful evaluation of polynomials (2006)

by S Boldo, C Muñoz
Venue:In Proceedings of the 21st Annual ACM Symposium on Applied Computing