Really interesting article! Some other resources you may find interesting https://fpbench.org/index.html https://fpbench.org/index.html - I think I saw a talk

Really interesting article! Some other resources you may find interesting https://fpbench.org/index.html https://fpbench.org/index.html - I think I saw a talk at FPTalks that felt related to your topic "Creating correctly rounded math libraries for real number approximations" https://fpbench.org/community.html https://fpbench.org/community.html https://hal-ens-lyon.archives-ouvertes.fr/ensl-01529804 https://hal-ens-lyon.archives-ouvertes.fr/ensl-01529804 - Correctly Rounded libm https://www.mpfr.org/ https://www.mpfr.org/ - GNU Multi precision floating point http://sollya.gforge.inria.fr/ http://sollya.gforge.inria.fr/ - A tool for floating point code development