Cylindrical algebraic decomposition

Also known as CAD. This is the canonical page; those names redirect here.

Pairings in the atlas

standalonespecialistReal quantifier elimination computational-algebra

Rivals: other methods for the same problems

Where it sits

computational-algebra · Numerical & Scientific Computing