@inproceedings{2171fc3f152f47c0a608da6d23f09211,
title = "The CAD conundrum: lex-least vs order",
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. ",
keywords = "Cylindrical Algebraic Decomposition, Equational Constraints, Lex-Least Invariance, Order Invariance",
author = "Scott McCallum and Akshar Nair and James Davenport and Gregory Sankaran",
year = "2020",
month = sep,
doi = "10.1109/SYNASC51798.2020.00017",
language = "English",
series = "International Symposium on Symbolic and Numeric Algorithms for Scientific Computing",
publisher = "Institute of Electrical and Electronics Engineers (IEEE)",
pages = "32--35",
booktitle = "Proceedings - 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020",
address = "United States",
note = "22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020 ; Conference date: 01-09-2020 Through 04-09-2020",
}