2 papers
cs.MS2023
A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance
Luis Benet, Luca Ferranti, Nathalie Revol
As developers of libraries implementing interval arithmetic, we faced the same difficulties when it comes to testing our libraries. What must be tested? How can we devise relevant…
math.NA2022
Testing interval arithmetic libraries, including their IEEE-1788 compliance
Nathalie Revol, Luis Benet, Luca Ferranti +1
As developers of libraries implementing interval arithmetic, we faced the same difficulties when it came to testing our libraries. What must be tested? How can we devise relevant t…