Keyword: semi-algebraic