most citedProblem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

25 citations · 25 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SC2014★ 25 cited

Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

Matthew England, Russell Bradford, Changbo Chen +3

Cylindrical algebraic decompositions (CADs) are a key tool for solving problems in real algebraic geometry and beyond. We recently presented a new CAD algorithm combining two advan…