Cylindrical algebraic decomposition

Given a set of polynomials in Rⁿ and a set S in Rⁿ the Cylindrical algebraic decomposition algorithm finds a decomposition of S in to a number of cells such that for each cell each polynomial has constant sign.

See also

• Quantifier elimination
• Tarski's theorem

References

• Strzebonski, Adam. Cylindrical Algebraic Decomposition from MathWorld.
• Cylindrical Algebraic Decomposition in Planning algorithms by Steven M. LaValle. Accessed 13 July 2007

This algebra-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Algebra Real algebraic geometry Algebra stubs Wikimedia Foundation. 2010. Игры ⚽ Нужно решить контрольную? Philipson-Stow Baronets Gossa, Germany Look at other dictionaries: List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia Corps Réel Clos — Un corps réel clos est un corps ordonné tel que tout élément positif soit un carré et que tout polynôme de degré impair à coefficients dans F ait au moins une racine dans F. Le corps des réels, le corps des réels calculables (au sens de Turing)… …   Wikipédia en Français Corps reel clos — Corps réel clos Un corps réel clos est un corps ordonné tel que tout élément positif soit un carré et que tout polynôme de degré impair à coefficients dans F ait au moins une racine dans F. Le corps des réels, le corps des réels calculables (au… …   Wikipédia en Français Corps réel clos — En mathématiques, un corps réel clos est un corps totalement ordonné F tel que tout élément positif soit un carré et que tout polynôme de degré impair à coefficients dans F ait au moins une racine dans F. Le corps des réels, le corps des réels… …   Wikipédia en Français Real closed field — In mathematics, a real closed field is a field F in which any of the following equivalent conditions are true:#There is a total order on F making it an ordered field such that, in this ordering, every positive element of F is a square in F and… …   Wikipedia Computer algebra system — A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form. Contents 1 Symbolic manipulations 2 Additional capabilities …   Wikipedia Decision problem — A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… …   Wikipedia CAD (disambiguation) — CAD may refer to:* Cad (character), a man who seduces a young woman, often to her social or financial ruin * Abbreviation for Cadmium * Cadoxton railway station, serving the village of Cadoxton near Barry, Vale of Glamorgan * Canadian dollar, the …   Wikipedia Fourier–Motzkin elimination — is a mathematical algorithm for eliminating variables from a system of linear inequalities. It can look for both real and integer solutions. It is computationally expensive.Elimination (or exists elimination) of variables V from a system of… …   Wikipedia Euclidean vector — This article is about the vectors mainly used in physics and engineering to represent directed quantities. For mathematical vectors in general, see Vector (mathematics and physics). For other uses, see vector. Illustration of a vector …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”