Ábrahám, E., et al.. New Opportunities for the Formal Proof of Computational Real Geometry? (extended Abstract). no. IJCAR 2020, RWTH Aachen University, 2020, doi:10.18154/rwth-2021-09565.