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 language | English |
|---|---|
| Title of host publication | Proceedings - 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020 |
| Publisher | IEEE |
| Pages | 32-35 |
| Number of pages | 4 |
| ISBN (Electronic) | 9781728176284 |
| DOIs | |
| Publication status | Published - Sept 2020 |
| Event | 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020 - Virtual, Timisoara, Romania Duration: 1 Sept 2020 → 4 Sept 2020 |
Publication series
| Name | Proceedings - 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020 |
|---|
Conference
| Conference | 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020 |
|---|---|
| Country/Territory | Romania |
| City | Virtual, Timisoara |
| Period | 1/09/20 → 4/09/20 |
Bibliographical note
Publisher Copyright:© 2020 IEEE.
Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.
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