Miriam Leeser, Saoni Mukherjee, Jaideep Ramachandran, Thomas Wahl
Make it real: Effective floating-point reasoning via exact arithmetic
DATE, 2014.
@inproceedings{DATE-2014-LeeserMRW,
author = "Miriam Leeser and Saoni Mukherjee and Jaideep Ramachandran and Thomas Wahl",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.130",
pages = "1--4",
publisher = "{IEEE}",
title = "{Make it real: Effective floating-point reasoning via exact arithmetic}",
year = 2014,
}