Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd
Abstract
International audience
Code References
gcc-mirror/gcc
1 file
libquadmath/math/fmaq.c
1
double rounding. See a paper by Boldo and Melquiond:
Link copied to clipboard!