37 citations · 106 across the 13 of their papers we have counts for
1 paper · 1 filter
Changbo Chen, Marc Moreno Maza
In this paper, we propose an incremental algorithm for computing cylindrical algebraic decompositions. The algorithm consists of two parts: computing a complex cylindrical tree and…