Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting

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…