@misc{indiciae5e2574fb541b,
  title = {New Opportunities for the Formal Proof of Computational Real Geometry?},
  author = {Erika \{Á\}brahám and James Davenport and Matthew England and Gereon Kremer and Zak Tonks},
  year = {2020},
  url = {https://arxiv.org/abs/2004.04034},
  note = {Source identifier: 2004.04034}
}