1 paper · 1 filter
Edward Misback, Caleb C. Chan, Brett Saiki +3
In recent years, researchers have proposed a number of automated tools to identify and improve floating-point rounding error in mathematical expressions. However, users struggle to…