New Opportunities for the Formal Proof of Computational Real Geometry?

Ábrahám, Erika (Corresponding author); Davenport, James (Corresponding author); England, Matthew (Corresponding author); Kremer, Gereon (Corresponding author); Tonks, Zak (Corresponding author)

(2020)
Preprint