Lazard's CAD exploiting equality constraints

Akshar Nair, James Davenport, Gregory Sankaran, Scott McCallum

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)138-141
Number of pages4
JournalACM Communications in Computer Algebra
Volume53
Issue number3
DOIs
Publication statusPublished - Sep 2019

    Fingerprint

Cite this