Levelwise construction of a single cylindrical algebraic cell

Nalbach, Jasper Kurt Ferdinand; Ábrahám, Erika; Specht, Philippe; Brown, Christopher W.; Davenport, James H.; England, Matthew

(2023)
Preprint

Einrichtungen

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