Ábrahám, Davenport, England, Kremer, Tonks, 2020. New Opportunities for the Formal Proof of Computational Real Geometry?.