New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract).

Erika brahm, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks

Browse the full CADE paper archive.