Provably faithful evaluation of polynomials (2006)

by S Boldo, C Muñoz
Venue:in Proceedings of the 2006 ACM Symposium on Applied Computing