@entry{izy-dar-17-aa, author = {A Izycheva and E Darulova}, title = {On sound relative error bounds for floating-point arithmetic}, journal = {2017 Formal Methods in Computer ...,}, volume = {}, number = {}, pages = {}, year = 2017, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://ieeexplore.ieee.org/abstract/document/8102236/?casa_token=ErMj1l9MluoAAAAA:SD5a8awZQCPV94y_0YJ6o4jcBQC7IoxfAg9NRNJ0WRxhQ-Bm30ZzgEMR7MINUlvaP5X23V2N}}}, quotes = {... uses affine arithmetic; ... affine arithmetic for computing both the ranges of variables and for the error bounds. In order to reduce the over-approximations introduced by affine arithmetic for ...} }