OpenAlex
A repository for CAD examples
Work
Year: 2013
Type: article
Abstract: Cylindrical Algebraic Decomposition (CAD, first introduced in [Col75]) of Euclidean space has become an important tool in mathematics and allows for practical quantifier elimination (QE) over the real... more
Cites: 7
Cited by: 16
Related to: 10
FWCI: 3.272
Citation percentile (by year/subfield): 79.38
Open Access status: green