An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
The paper improves the cylindrical algebraic decomposition (cad) algorithm of Collins by giving a reduced version of the projection map of Collins. It is proved that this reduced map can be used for an input set of trivariate polynomials without losing the essential properties of the projection. This seems to decrease the computing time of the cad algorithm substantial.
scientific article; zbMATH DE number 4058862