1 paper · 2 filters
Heiko Becker, Nikita Zyuzin, Raphael Monat +3
Being able to soundly estimate roundoff errors of finite-precision computations is important for many applications in embedded systems and scientific computing. Due to the discrepa…