Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest.

Sylvie Boldo

Browse the full CAV paper archive.