Make it real: Effective floating-point reasoning via exact arithmetic.

Miriam Leeser, Saoni Mukherjee, Jaideep Ramachandran, Thomas Wahl

Browse the full DATE paper archive.