61 citations · 265 across the 12 of their papers we have counts for
1 paper · 1 filter
Zongyan Huang, Matthew England, David Wilson +2
Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic geometry, best known as a procedure to enable Quantifier Elimination over real-closed fields. How…