How to use cylindrical algebraic decomposition (Q624830)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: How to use cylindrical algebraic decomposition |
scientific article; zbMATH DE number 5849370
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | How to use cylindrical algebraic decomposition |
scientific article; zbMATH DE number 5849370 |
Statements
How to use cylindrical algebraic decomposition (English)
0 references
9 February 2011
0 references
The article is two-fold. First it gives the basic intuition of what Collin's cylindric algebraic decomposition (CAD) is about. Rather than giving all the technical details how a CAD for a semialgebraic set (subset of \(\mathbb R^n\) described by polynomials and inequalities), it presents very nicely the input-output specification from the geometric and logical point of view. In addition, the article serves excellently as an example-oriented tutorial for solving inequality problems and proving typical inequalities.
0 references
CAD
0 references
inequalities
0 references
proving and solving
0 references
semialgebraic sets
0 references
