## An improved projection operation for cylindrical algebraic decomposition |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Mathematical Preliminaries | 6 |

Reduced Projection Map | 33 |

The Zariski Theorem | 66 |

3 other sections not shown

### Common terms and phrases

1-cells 3-space absolutely convergent algorithm CADRW analytic function analytic map Assertion assume basis for prim cad construction Chapter clustering algorithm clustering cad algorithm coarsest squarefree basis contained coordinate system cylinder cylindrical algebraic decomposition definition degree-invariant denote discr discriminant distinct root element equations exists a polydisc extension phase finest squarefree basis graph Hence holomorphic function hypotheses of Theorem identically zero input polynomials input set integral polynomials invariant cad IPFZT isolate the real Lemma Let F lifting theorem linear subspace matrix neighborhood non-zero nonsplitting norm-length bound nullifying cell obtained open subset order-invariant clusters partial derivative plane polydisc polynomial F power series expansion PROJ Proof r-variate integral polynomials real algebraic number real roots respect result root isolation Rr_1 Scott McCallum sections and sectors set of polynomials sign-invariant smooth submanifold Theorem 323 thesis tion trivariate polynomials univariate vanish Weierstrass polynomial Weierstrass preparation theorem well-oriented Whitney umbrella Zariski