Cylindrical algebraic decomposition (source code)

= Cylindrical algebraic decomposition
{wiki=Cylindrical_algebraic_decomposition}