## Abstract

McCallum improved the original Collins CAD projection operator (assuming well-orientation) and reduced the projection set even further for quantifier elimination problems which have equality constraints [6, 7]. Lazard provided a projection operator (and corresponding lifting process) that reduces the projection set as compared to McCallum's and is unconditional like Collins' original algorithm [2]. Our research extends Lazard's work by providing a modification that reduces the projection set even further when there is a single equality constraint in the quantifier elimination problem (as in [6]). We also report a slight error in [7].

Original language | English |
---|---|

Pages (from-to) | 138-141 |

Number of pages | 4 |

Journal | ACM Communications in Computer Algebra |

Volume | 53 |

Issue number | 3 |

DOIs | |

Publication status | Published - Sep 2019 |