Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions.

Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan

Browse the full FM paper archive.