Abstract
In this paper we deal with the algorithm of construction of an effective positivstellensatz given in [Lom1], for the particular case of a family of univariate polynomials with coefficients in a real closed field.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Bochnak, M. Coste, M.-F. Roy, Géométrie algébrique réelle. A series of Modem Surveys in Mathematics 11, Springer-Verlag, 1987.
H. Lombardi, Effective real Nullstellensatz and variants. Effective Methods in Algebraic Geometry, Progress in Mathematics 94. pp. 263-288, Birkhäuser, 1991.
H. Lombardi, Une borne sur les dégrés pour le théorème des zéros réel effectif, Lecture Notes in Mathematics 1524, eds. M. Coste. L. Mahe. M.- F. Roy, pp. 323-345, 1991.
M.-F. Roy, A. Szpirglass, Complexity of computation on real algebraic numbers, Journal of Symbolic Computation 10, pp. 39-51. 1990.
F. Cucker, L. González-Vega, F. Rosello On algorithms for reed algébrale plane curves, Effective Methods in Algebraic Geometry. Progress in Mathematics 94, pp. 63-87, Birkháuser, 1991.
H. Warou “Thèse”. Univ. de Rennes 1, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Birkhäuser Verlag Basel/Switzerland
About this paper
Cite this paper
Warou, H. (1996). An algorithm and bounds for the real effective Nullstellensatz in one variable. In: González-Vega, L., Recio, T. (eds) Algorithms in Algebraic Geometry and Applications. Progress in Mathematics, vol 143. Birkhäuser Basel. https://doi.org/10.1007/978-3-0348-9104-2_19
Download citation
DOI: https://doi.org/10.1007/978-3-0348-9104-2_19
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-0348-9908-6
Online ISBN: 978-3-0348-9104-2
eBook Packages: Springer Book Archive