CAD and topology of semi-algebraic sets
scientific article; zbMATH DE number 5853525