Title: Quantifier elimination and cylindrical algebraic decomposition
Subjects: Decomposition method, Congresses, Algorithms, Data processing, Algebra, Algebraisch abgeschlossener Körper, Kongreß, Quantorenelimination, Algebra, data processing, Decomposition (mathematics)