8 citations · 8 across the 1 of their papers we have counts for
1 paper · 1 filter
Matthew England
Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semi-algebraic sets. Originally introduced by Collins in the 1970s for use in quantifier eli…