scientific article; zbMATH DE number 3982411

MaRDI QIDQ3746798zbMATH OpenFDO

Authors Nicolai Vorobjov, Dima Grigoriev

Publication date 1985

zbMATH Keywords

algebraic inequalitiesconnected componentmanifoldpolynomial inequalitysemi-algebraic set

Mathematics Subject Classification ID

Special surfaces (14J25) Real algebraic and real-analytic geometry (14Pxx) Numerical computation of solutions to systems of equations (65H10)

Recommendations

• Solving systems of polynomial inequalities in subexponential time
• Publication:4733314
• scientific article; zbMATH DE number 4157784
• scientific article; zbMATH DE number 16666
• The complexity of deciding consistency of systems of polynomials in exponent inequalities

Cited in

(12)

• Solving systems of polynomial inequalities in subexponential time
• Complexity of deciding Tarski algebra
• The localization of solutions to systems of algebraic equations and inequalities: the Hermite method
• A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
• Positive solutions of systems of signed parametric polynomial inequalities
• Solving systems of strict polynomial inequalities
• Systole length in hyperbolic \(n\)-manifolds
• scientific article; zbMATH DE number 4157784 (Why is no real title available?)
• scientific article; zbMATH DE number 17987 (Why is no real title available?)
• On the solution of determinantal systems of linear inequalities
• scientific article; zbMATH DE number 4119512 (Why is no real title available?)
• Solving systems of polynomial inequalities over a real closed field in subexponential time

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3746798)