Cylindrical Algebraic Decomposition I: The Basic Algorithm (Q5187396)
From MaRDI portal
scientific article; zbMATH DE number 3895210
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cylindrical Algebraic Decomposition I: The Basic Algorithm |
scientific article; zbMATH DE number 3895210 |
Statements
Cylindrical Algebraic Decomposition I: The Basic Algorithm (English)
0 references
1984
0 references
computational geometry
0 references
decision procedure
0 references
real algebraic geometry
0 references
cylindrical algebraic decomposition of the Euclidean r-space
0 references
cad
0 references
zeros of the polynomials
0 references
algorithm
0 references
pairs of adjacent cells
0 references
