@misc{indiciaead3bb7187f3c,
  title = {A heuristic prover for real inequalities},
  author = {Jeremy Avigad and Robert Y. Lewis and Cody Roux},
  year = {2016},
  url = {https://arxiv.org/abs/1404.4410},
  note = {Source identifier: 1404.4410}
}