Decomposição numérica de conjuntos algébricos reais
