Feasibility testing for systems of real quadratic equations
- 1 July 1993
- journal article
- Published by Springer Nature in Discrete & Computational Geometry
- Vol. 10 (1) , 1-13
- https://doi.org/10.1007/bf02573959
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- On the computational complexity and geometry of the first-order theory of the reals. Part III: Quantifier eliminationJournal of Symbolic Computation, 1992
- On the computational complexity and geometry of the first-order theory of the reals. Part II: The general decision problem. Preliminaries for quantifier eliminationJournal of Symbolic Computation, 1992
- On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the realsJournal of Symbolic Computation, 1992
- Solving systems of polynomial inequalities in subexponential timeJournal of Symbolic Computation, 1988
- The diagonal of a D-finite power series is D-finiteJournal of Algebra, 1988