@misc{indiciae2fd702dc88ce,
  title = {Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations},
  author = {Victor Magron and Alexandre Rocca and Thao Dang},
  year = {2018},
  url = {https://arxiv.org/abs/1802.04385},
  note = {Source identifier: 1802.04385}
}