M. G. Arnold, S. Collange, and D. Defour, Implementing LNS using filtering units of GPUs, 2010 IEEE International Conference on Acoustics, Speech and Signal Processing
DOI : 10.1109/ICASSP.2010.5495516
URL : https://hal.archives-ouvertes.fr/hal-00423434

S. Chevillard, M. Jolde¸sjolde¸s, and C. Lauter, User's Manual of the Sollya Tool, Release 2.0

S. Chevillard, . Ch, and . Lauter, A Certified Infinite Norm for the Implementation of Elementary Functions, Seventh International Conference on Quality Software (QSIC 2007), pp.153-160, 2007.
DOI : 10.1109/QSIC.2007.4385491
URL : https://hal.archives-ouvertes.fr/ensl-00119810

C. Jeannerod, H. Knochel, C. Monat, G. Revy, and G. Villard, A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor, 2009 19th IEEE Symposium on Computer Arithmetic, pp.95-103, 2009.
DOI : 10.1109/ARITH.2009.19
URL : https://hal.archives-ouvertes.fr/hal-00993090

. Ch and . Lauter, Arrondi correct de fonctions mathématiques. Fonctions univariées et bivariées, certification et automatisation, 2008.

. Ch, F. Lauter, and . De-dinechin, Optimizing polynomials for floating-point implementation, Proceedings of the 8th Conference on Real Numbers and Computers, pp.7-16, 2008.

K. Makino and M. Berz, Taylor models and other validated functional inclusion methods, International Journal of Pure and Applied Mathematics, vol.4, issue.4, pp.379-456, 2003.

R. E. Moore, Methods and Applications of Interval Analysis, Society for Industrial Mathematics, 1979.
DOI : 10.1137/1.9781611970906

J. Muller, N. Brisebarre, F. De-dinechin, C. Jeannerod, V. Lefèvre et al., Handbook of Floating-Point Arithmetic, Birkhäuser Boston, pp.978-978, 2009.
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167