Zylindrische Algebraische Zerlegung

Ein rekursiver Projektions‑und‑Lifting‑Algorithmus, der den reellen n‑dimensionalen Raum in endlich viele zylindrisch angeordnete Zellen aufteilt (Zellen, deren Projektionen auf niedrigere Dimensionen Zellen der Zerlegung sind), so dass eine gegebene endliche Menge reeller Polynome auf jeder Zelle ein unverändertes Vorzeichen besitzt und somit Entscheidungsverfahren für Vorzeichen‑ und Quantorfrag