Real Solving for Positive Dimensional Systems
Authors:
- 1 December 2002
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 34 (6) , 543-560
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Polar varieties and efficient real eliminationMathematische Zeitschrift, 2001
- On the Theories of Triangular SetsJournal of Symbolic Computation, 1999
- Vibrating Properties of Textile Surfaces1Textile Research Journal, 1999
- Solving Zero-Dimensional Systems Through the Rational Univariate RepresentationApplicable Algebra in Engineering, Communication and Computing, 1999
- On the combinatorial and algebraic complexity of quantifier eliminationJournal of the ACM, 1996
- Follicle-stimulating hormone-induced estradiol and progesterone production by bovine antral and mural granulosa cells cultured in vitro in a completely defined medium.Journal of Animal Science, 1996
- On the Theoretical and Practical Complexity of the Existential Theory of RealsThe Computer Journal, 1993
- 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
- Ideals, Varieties, and Algorithms1992
- Solving systems of polynomial inequalities in subexponential timeJournal of Symbolic Computation, 1988