Abstract
Let h ∈ Z[X 1,…, X n ] be an arbitrary polynomial.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Tarski, A., “A Decision Method for Elementary Algebra and Geometry,” University of California Press, 1951.
Collins, G. E., Quantifier elimination for real closed fields by cylindrical algebraic decomposition, in “Second GI Conf. Automata Theory and Formal Languages,” Lect. Notes Comp. Sci. 33, 1975, pp. 134–183.
Wüthrich, H. R., Ein Enttscheidungsverfahren für die Theorie der reall-abgeschlossenen Körper, in “Komplexität von Entscheidungsproblemen: ein Seminar,” Lect. Notes Comp. Sci. 43, 1976, pp. 138–162.
Grigor’ev, D. Yu., Vorobjov, N. N., Jr., Solving systems of polynomial inequalities in subexponential time, J. Symbolic Comp. 5 (1988), 37–64.
Renegar, J., A faster PSPACE algorithm for deciding the existential theory of the reals, Technical report N 792, College of Engineering, Cornell University.
Hovansky, A. G., On a class of systems of transcendental equations, Soviet Math. Dokl. 22 (1980), 762–765.
Waldschmidt, M., Simultaneous approximation of numbers connected with the exponential function, J. Austral. Math. Soc. (series A) 25 (1978), 466–478.
Davis, M., “Applied Nonstandard Analysis,” J. Wiley., New York, 1977.
Milnor, J., On the Betti numbers of real varieties, Proc. Amer. Math. Soc. 15(2) (1964), 275–280.
Chistov, A. L., Grigor’ev, D. Yu., Complexity of quantifier elimination in the theory of algebraically closed fields, in “Mathematical Foundations of Computer Science, Praha 198,” Lect. Notes Comp. Sci. 176, 1984, pp. 17–31.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer Science+Business Media New York
About this chapter
Cite this chapter
Vorobjov, N.N. (1991). Deciding Consistency of Systems of Polynomial in Exponent Inequalities in Subexponential Time. In: Mora, T., Traverso, C. (eds) Effective Methods in Algebraic Geometry. Progress in Mathematics, vol 94. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-0441-1_33
Download citation
DOI: https://doi.org/10.1007/978-1-4612-0441-1_33
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-1-4612-6761-4
Online ISBN: 978-1-4612-0441-1
eBook Packages: Springer Book Archive