@entry{bem-15-aa, author = {MF BE}, title = {Automated Dynamic Error Analysis Methods for Optimization of Computer Arithmetic Systems}, journal = {}, year = 2015, url = {{\url{http://phwl.org/assets/images/2017/10/frechtling15.pdf}}}, quotes = {... Several systems have been proposed for the analysis of floating point arithmetic including Interval Arithmetic, Affine Arithmetic and Monte Carlo Arithmetic. While these systems have ...} }