Solving systems of polynomial inequalities over a real closed field in subexponential time
type: Item
instance of: scholarly article
title: Solving systems of polynomial inequalities over a real closed field in subexponential time
zbMATH Open document ID: 0726.65070
DOI: 10.1007/BF01098273
published in: Journal of Soviet Mathematics
publication date: 1991-01-01T00:00:00Z
review text: [For the entire collection see Zbl 0657.00011.] See the review in Zbl 0683.65045.
Mathematics Subject Classification ID: 65K05
Mathematics Subject Classification ID: 90C30
Mathematics Subject Classification ID: 26D05
zbMATH DE Number: 4199502
zbMATH Keywords: complexity of calculus
zbMATH Keywords: algorithm
zbMATH Keywords: systems of polynomial inequalities
zbMATH Keywords: infinitesimal calculus
author: Nicolai Vorobjov
author: Dima Grigoriev
MaRDI profile type: Publication
cites work: Q5184990
cites work: Q4079605
cites work: Integer Arithmetic Algorithms for Polynomial Real Zero Determination
cites work: Definability and fast quantifier elimination in algebraically closed fields
cites work: Q3050157
cites work: On the Betti Numbers of Real Varieties
cites work: Q5807665
cites work: Q4189745
cites work: Q3684200
cites work: The complexity of elementary algebra and geometry
cites work: Solving systems of polynomial inequalities in subexponential time
Recommended article: Q4733314
Recommended article: Solving systems of polynomial inequalities in subexponential time
Recommended article: Q3746798
Recommended article: Q3973352
Recommended article: Q3485804
Recommended article: An improvement of the complexity bound for solving systems of polynomial equations
Recommended article: Efficient solution of real polynomial systems of equations
Recommended article: Deciding consistency of systems of exponential-polynomial inequalities in subexponential time
Recommended article: Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures
Recommended article: On the complexity exponent of polynomial system solving
description: scientific article; zbMATH DE number 4199502