An algorithm and bounds for the real effective Nullstellensatz in one variable
H. Warou · Birkhäuser Basel eBooks · 1996
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.