4 citations · 4 across the 7 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SC2014
Cylindrical Algebraic Decomposition Using Local Projections
Adam Strzebonski
We present an algorithm which computes a cylindrical algebraic decomposition of a semialgebraic set using projection sets computed for each cell separately. Such local projection s…
cs.SC2014★ 4 cited
Divide-And-Conquer Computation of Cylindrical Algebraic Decomposition
Adam Strzebonski
We present a divide-and-conquer version of the Cylindrical Algebraic Decomposition (CAD) algorithm. The algorithm represents the input as a Boolean combination of subformulas, comp…