31 citations · 70 across the 19 of their papers we have counts for
1 paper · 2 filters
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…