How to use cylindrical algebraic decomposition (Q624830)

The article is two-fold. First it gives the basic intuition of what Collin's cylindric algebraic decomposition (CAD) is about. Rather than giving all the technical details how a CAD for a semialgebraic set (subset of \(\mathbb R^n\) described by polynomials and inequalities), it presents very nicely the input-output specification from the geometric and logical point of view. In addition, the article serves excellently as an example-oriented tutorial for solving inequality problems and proving typical inequalities.