Constructing a single cell in cylindrical algebraic decomposition (Q2343239)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Constructing a single cell in cylindrical algebraic decomposition |
scientific article |
Statements
Constructing a single cell in cylindrical algebraic decomposition (English)
0 references
4 May 2015
0 references
cylindrical algebraic decomposition
0 references
projection operator
0 references
polynomial constraints
0 references