@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 ...}
}