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 - 30 Sep 2019

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computational Mathematics

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

Cite this