Lazard's CAD exploiting equality constraints

Akshar Nair, James Davenport, Gregory Sankaran, Scott McCallum

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


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
Issue number3
Publication statusPublished - Sept 2019


Dive into the research topics of 'Lazard's CAD exploiting equality constraints'. Together they form a unique fingerprint.

Cite this