Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions.

Joachim Bard, Heiko Becker, Eva Darulova

Browse the full FM paper archive.