1. IEEE Std. 754-2008, IEEE Standard for Floating-Point Arithmetic, 2018.
2. Lefèvre, V. and Muller, J.-M., Worst cases for correct rounding of the elementary functions in double precision, Proc. 15th IEEE Symp. Computer Arithmetic, 2001, p. 111–118.
3. Lefèvre, V., Hardest-to-round cases: Part 2, 2013. http://tamadiwiki.enslyon.fr/tamadiwiki/images/c/c1/Lefevre2013.pdf.
4. Godunov, A., Algorithms for calculating correctly rounded exponential function in double-precision arithmetic, IEEE Trans. Comput., 2020, vol. 69, no. 5, pp. 1–12. https://doi.org/10.1109/TC.2020.2972901
5. Daramy-Loirat, C., Defour, D., de Dinechin, F., Gallet, M., Gast, N., Lauter, C.Q., and Muller, J.-M., CR-LIBM: A library of correctly rounded elementary functions in double-precision, LIP, Research report, 2006. https://hal-enslyon.archives-ouvertes.fr/ensl-01529804.