@entry{mag-con-don-17-aa,
  author = {V Magron and G Constantinides and A Donaldson},
  title = {Certified roundoff error bounds using semidefinite programming},
  journal = {ACM Transactions on ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2017,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/3015465?casa_token=SzXQkjRjVnkAAAAA:LPu0Xm-auPxsXJH17QltB3CxT-oZUitditp9P_v27IHI1eIz2QQJjgOyq4wjP4U_oM4j6ZF9l-k}}},
  quotes = {... The tool uses affine arithmetic to provide sound overapproximations of roundoff errors, allowing for generation of finite precision implementations that fulfill the required precision given ...}
}