CAD

Define a cell in R^1 as an open interval or a point. A cell in R^(k + 1) then has one of two forms, {(x, y):x element C, and f(x)

cylindrical Parts | generic cylindrical algebraic decomposition | quantifier elimination | Tarski's theorem