@entry{fre-15-aa-optarith-th, author = {MF BE}, title = {Automated Dynamic Error Analysis Methods for Optimization of Computer Arithmetic Systems}, journal = {}, volume = {}, number = {}, pages = {}, year = 2015, month = , doi = {}, comment = {}, abstract = {}, 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 ...} }