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

Institutions

• Department of Computer Science [120000]
• Theory of Hybrid Systems Research Group [123420]