1. American National Standards Institute (ANSI) and Institute of Electrical and Electronic Engineers (IEEE). IEEE Standard for Binary Floating-Point Arithmetic (IEEE Std754-2008) (2008), Revised version of the IEEE Std754-1985 Standard
2. Arnold, M.G., Collange, S., Defour, D.: Implementing LNS using filtering units of GPUs. In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP (2010),
http://hal.archives-ouvertes.fr/hal-00423434
3. Chevillard, S., Joldeş, M., Lauter, C.: User’s Manual of the Sollya Tool, Release 2.0,
http://sollya.gforge.inria.fr/
4. Chevillard, S., Lauter, C.: A certified infinite norm for the implementation of elementary functions. In: Proceedings of the Seventh International Conference on Quality Software, pp. 153–160 (2007)
5. Jeannerod, C.-P., Knochel, H., Monat, C., Revy, G., Villard, G.: A new binary floating-point division algorithm and its software implementation on the ST231 processor. In: Proceedings of the 19th IEEE Symposium on Computer Arithmetic, Portland, OR, USA, pp. 95–103 (June 2009)