7 citations · 7 across the 4 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…