Concepedia
Journal of Pure and Applied Algebra · 1998 · 210 citations · 2 references
Mathematical ProgrammingEngineeringReal PolynomialsOrthogonal PolynomialAlgebraic MethodDiscrete MathematicsReal Algebraic GeometryApproximation Theory
2
Solving systems of polynomial inequalities in subexponential time
D. Yu. Grigor'ev, Nicolai Vorobjov · Journal of Symbolic Computation · 1988 · 325 citations
Mathematical Programming, Polynomial Inequalities, Engineering +5
Improved Algorithms for Sign Determination and Existential Quantifier Elimination
John Canny · The Computer Journal · 1993 · 46 citations · Full text
Symbolic Manipulation, Symbolic Quantifier Elimination, Engineering +15