Descomposición Algebraica Cilíndrica

Un algoritmo recursivo de proyección y elevación que particiona el espacio real de dimensión n en un número finito de celdas dispuestas cilíndricamente (celdas cuyas proyecciones a dimensiones inferiores son celdas de la descomposición) sobre las cuales un conjunto finito de polinomios reales mantiene signo invariante, permitiendo procedimientos de decisión para consultas de signo y cuantificadore