CAD

Cylindrical Algebraic Decomposition :

Collins, Arnon, McCallum, Hong, Weispfenning, Gonzalez Vega...

Rank Xerox