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. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1109/SYNASC51798.2020.00017 | 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) |
Keywords | DocType | ISSN |
Cylindrical Algebraic Decomposition,Equational Constraints,Lex-Least Invariance,Order Invariance | Conference | 2470-8801 |
ISBN | Citations | PageRank |
978-1-7281-7629-1 | 0 | 0.34 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Scott McCallum | 1 | 9 | 0.94 |
Akshar Nair | 2 | 0 | 0.34 |
J. H. Davenport | 3 | 109 | 21.82 |
g k sankaran | 4 | 2 | 2.14 |