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

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]