Abstract

This paper is part of our ongoing research and collaboration on understanding the relations between CAD algorithms, equational constraints and curtains. Our previous work manages to circumvent the curtain problem in the single equational constraint by taking advantage of the Lex-least valuation (even in the presence of curtains). That method however fails to take full advantage of multiple equational constraints. In this paper we provide further clarification of McCallum's work to validate the use of restricted projection operator at 2 levels. We also discuss the close relationship between order invariant and lex-least invariant CAD's.

Original languageEnglish
Title of host publicationProceedings - 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020
PublisherIEEE
Pages32-35
Number of pages4
ISBN (Electronic)9781728176284
DOIs
Publication statusPublished - Sep 2020
Event22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020 - Virtual, Timisoara, Romania
Duration: 1 Sep 20204 Sep 2020

Publication series

NameProceedings - 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020

Conference

Conference22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020
Country/TerritoryRomania
CityVirtual, Timisoara
Period1/09/204/09/20

Keywords

  • Cylindrical Algebraic Decomposition
  • Equational Constraints
  • Lex-Least Invariance
  • Order Invariance

ASJC Scopus subject areas

  • Computer Science Applications
  • Computational Mathematics
  • Modelling and Simulation
  • Numerical Analysis

Fingerprint

Dive into the research topics of 'The CAD Conundrum: Lex-Least vs Order'. Together they form a unique fingerprint.

Cite this