Real solving for positive dimensional systems.
type: Item
instance of: scholarly article
title: Real solving for positive dimensional systems.
zbMATH Open document ID: 1046.14031
author: Philippe Aubry
author: Fabrice Rouillier
author: Mohab Safey El Din
published in: Journal of Symbolic Computation
publication date: 2003-04-02T00:00:00Z
full work available at URL: RR-3992.pdf
Mathematics Subject Classification ID: 14P10
Mathematics Subject Classification ID: 68U05
Mathematics Subject Classification ID: 14Q99
Mathematics Subject Classification ID: 14P05
zbMATH DE Number: 1891066
zbMATH Keywords: efficient algorithm
zbMATH Keywords: semi-algebraically connected component
zbMATH Keywords: real algebraic variety
describes a project that uses: ISOLATE
MaRDI profile type: Publication
OpenAlex ID: W2007391649
cites work: On the theories of triangular sets
cites work: Polar varieties and efficient real elimination
cites work: Q4391229
cites work: On the combinatorial and algebraic complexity of quantifier elimination
cites work: Q3135197
cites work: Q4848611
cites work: Q4023642
cites work: Solving systems of polynomial inequalities in subexponential time
cites work: On the Theoretical and Practical Complexity of the Existential Theory of Reals
cites work: Q4128900
cites work: On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
cites work: Solving zero-dimensional systems through the rational univariate representation
cites work: Finding at least one point in each connected component of a real algebraic set defined by a single equation
cites work: Q4341368
cites work: A new decision method for elementary algebra
DOI: 10.1006/JSCO.2002.0563
description: scientific article; zbMATH DE number 1891066