TY  - RPRT
TI  - New Opportunities for the Formal Proof of Computational Real Geometry?
AU  - Erika {Á}brahám
AU  - James Davenport
AU  - Matthew England
AU  - Gereon Kremer
AU  - Zak Tonks
PY  - 2020
UR  - https://arxiv.org/abs/2004.04034
ID  - 2004.04034
ER  -