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
Institution University of Bath
Cites: 7
Cited by: 16
Related to: 10
FWCI: 3.272
Citation percentile (by year/subfield): 79.38
Subfield: Computational Mechanics
Field: Engineering
Domain: Physical Sciences
Open Access status: green